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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb
MD5SUM	6bb160e5eb0ef9c02ca7232f62836f2b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	8436
Biggest coefficient in the objective function	368640
Number of bits for the biggest coefficient in the objective function	19
Sum of the numbers in the objective function	57614442
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	483840
Number of bits of the biggest number in a constraint	19
Biggest sum of numbers in a constraint	72412534
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.48
Number of variables	8436
Total number of constraints	1050
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	1050
Minimum length of a constraint	8
Maximum length of a constraint	8436
Trace number 41387

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 11:13:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29430 boxname=wulflinc3 idbench=1214 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6bb160e5eb0ef9c02ca7232f62836f2b  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fit1d.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fit1d.opb
IDLAUNCH: 29430
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        721464 kB
Buffers:         17628 kB
Cached:         275016 kB
SwapCached:        708 kB
Active:          34636 kB
Inactive:       260028 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        721212 kB
SwapTotal:     2097136 kB
SwapFree:      2095380 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            12868 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:33:25 (client local time) WITH STATUS 0 IN 1175.51 SECONDS
stats: 29430 7 1175.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8436 variables and 1051 constraints.
c After prepocess the problem consists of 8434 variables and 1050 constraints.
c preprocess terminated 93.789 s
c Initial Lower Bound: -3773389
c Lower Bound Elapsed time: 31.416
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.46 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.74 0.90 0.89 2/54 8764
Raw data (stat): 8764 (runsolver) R 8763 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909820169 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99962 s]
Raw data (loadavg): 0.78 0.90 0.89 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 13862 0 0 0 968 28 0 0 25 0 1 0 909820169 69873664 13782 4294967295 134512640 134716908 3221224560 3221222836 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17059 13782 1111 63 0 16996 0
vsize: 68236
[startup+20.0009 s]
Raw data (loadavg): 0.81 0.90 0.89 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 14459 0 0 0 1967 30 0 0 25 0 1 0 909820169 72511488 14363 4294967295 134512640 134716908 3221224560 3221222836 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17703 14363 1111 63 0 17640 0
vsize: 70812
[startup+30.0012 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 14595 0 0 0 2966 30 0 0 25 0 1 0 909820169 73150464 14491 4294967295 134512640 134716908 3221224560 3221222836 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17859 14491 1111 63 0 17796 0
vsize: 71436
[startup+40.0021 s]
Raw data (loadavg): 0.86 0.91 0.89 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 14853 0 0 0 3965 31 0 0 25 0 1 0 909820169 74133504 14745 4294967295 134512640 134716908 3221224560 3221222836 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18099 14745 1111 63 0 18036 0
vsize: 72396
[startup+50.0032 s]
Raw data (loadavg): 0.88 0.91 0.89 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 15115 0 0 0 4965 31 0 0 25 0 1 0 909820169 75448320 14998 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18420 14998 1111 63 0 18357 0
vsize: 73680
[startup+60.0028 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 15410 0 0 0 5964 32 0 0 25 0 1 0 909820169 76636160 15286 4294967295 134512640 134716908 3221224560 3221222836 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18710 15286 1111 63 0 18647 0
vsize: 74840
[startup+70.0042 s]
Raw data (loadavg): 0.92 0.92 0.89 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 15652 0 0 0 6963 33 0 0 25 0 1 0 909820169 77733888 15524 4294967295 134512640 134716908 3221224560 3221222836 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18978 15524 1111 63 0 18915 0
vsize: 75912
[startup+80.005 s]
Raw data (loadavg): 0.93 0.92 0.89 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 17304 0 0 0 7959 36 0 0 25 0 1 0 909820169 72159232 16539 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17617 16539 1111 63 0 17554 0
vsize: 70468
[startup+90.0052 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 81527 0 0 0 8839 157 0 0 25 0 1 0 909820169 72552448 16620 4294967295 134512640 134716908 3221224560 3221223236 134606704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17713 16620 1111 63 0 17650 0
vsize: 70852
[startup+100.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 85885 0 0 0 9829 166 0 0 25 0 1 0 909820169 84688896 19731 4294967295 134512640 134716908 3221224560 3221220332 1074787912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20676 19731 1111 63 0 20613 0
vsize: 82704
[startup+110.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 85885 0 0 0 10829 166 0 0 25 0 1 0 909820169 84688896 19731 4294967295 134512640 134716908 3221224560 3221220332 1074787504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20676 19731 1111 63 0 20613 0
vsize: 82704
[startup+120.006 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 85888 0 0 0 11829 166 0 0 25 0 1 0 909820169 84688896 19734 4294967295 134512640 134716908 3221224560 3221220448 1074875025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20676 19734 1111 63 0 20613 0
vsize: 82704
[startup+130.006 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87620 0 0 0 12824 171 0 0 25 0 1 0 909820169 81223680 18907 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18907 1111 63 0 19767 0
vsize: 79320
[startup+140.007 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87622 0 0 0 13824 171 0 0 25 0 1 0 909820169 81223680 18909 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18909 1111 63 0 19767 0
vsize: 79320
[startup+150.007 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87624 0 0 0 14824 171 0 0 25 0 1 0 909820169 81223680 18911 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18911 1111 63 0 19767 0
vsize: 79320
[startup+160.007 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87629 0 0 0 15824 172 0 0 25 0 1 0 909820169 81223680 18916 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18916 1111 63 0 19767 0
vsize: 79320
[startup+170.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87629 0 0 0 16823 172 0 0 25 0 1 0 909820169 81223680 18916 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18916 1111 63 0 19767 0
vsize: 79320
[startup+180.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87629 0 0 0 17823 173 0 0 25 0 1 0 909820169 81223680 18916 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18916 1111 63 0 19767 0
vsize: 79320
[startup+190.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87629 0 0 0 18823 173 0 0 25 0 1 0 909820169 81223680 18916 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18916 1111 63 0 19767 0
vsize: 79320
[startup+200.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87629 0 0 0 19823 173 0 0 25 0 1 0 909820169 81223680 18916 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18916 1111 63 0 19767 0
vsize: 79320
[startup+210.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87629 0 0 0 20823 173 0 0 25 0 1 0 909820169 81223680 18916 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18916 1111 63 0 19767 0
vsize: 79320
[startup+220.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87629 0 0 0 21823 174 0 0 25 0 1 0 909820169 81223680 18916 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18916 1111 63 0 19767 0
vsize: 79320
[startup+230.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87632 0 0 0 22823 174 0 0 25 0 1 0 909820169 81223680 18919 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18919 1111 63 0 19767 0
vsize: 79320
[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87633 0 0 0 23823 174 0 0 25 0 1 0 909820169 81223680 18920 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18920 1111 63 0 19767 0
vsize: 79320
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87633 0 0 0 24823 174 0 0 25 0 1 0 909820169 81223680 18920 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18920 1111 63 0 19767 0
vsize: 79320
[startup+260.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87634 0 0 0 25823 175 0 0 25 0 1 0 909820169 81223680 18921 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18921 1111 63 0 19767 0
vsize: 79320
[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87634 0 0 0 26823 175 0 0 25 0 1 0 909820169 81223680 18921 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19830 18921 1111 63 0 19767 0
vsize: 79320
[startup+280.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 87777 0 0 0 27823 175 0 0 25 0 1 0 909820169 81907712 19064 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19997 19064 1111 63 0 19934 0
vsize: 79988
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88247 0 0 0 28822 176 0 0 25 0 1 0 909820169 83726336 19534 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20441 19535 1111 63 0 20378 0
vsize: 81764
[startup+300.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 29822 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+310.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 30824 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+320.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 31824 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+330.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 32824 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223304 134675309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+340.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 33825 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+350.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 34825 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+360.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 35825 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+370.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 36825 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+380.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 37826 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+390.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 38826 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+400.048 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 39828 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+410.048 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 40828 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+420.048 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 41828 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+430.048 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 42828 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+440.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 43828 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+450.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 44828 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+460.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 45829 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+470.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 46829 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+480.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 47829 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+490.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 48829 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+500.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 49829 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+510.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 50830 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+520.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 51830 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+530.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 52830 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+540.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 53830 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+550.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 54830 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+560.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 55830 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+570.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 56831 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+580.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 57831 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+590.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 58831 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+600.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 59831 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+610.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 60831 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+620.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 61832 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+630.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 62832 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+640.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 63832 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+650.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 64832 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+660.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 65832 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+670.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 66832 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+680.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 67833 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+690.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 68833 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+700.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 69833 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+710.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 70833 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+720.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 71833 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+730.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 72834 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+740.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 73834 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+750.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 74834 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+760.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 75834 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+770.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 76834 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+780.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 77834 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+790.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 78835 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+800.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 79835 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+810.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 80835 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+820.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 81835 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+830.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 82836 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+840.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 83836 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+850.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 84836 176 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+860.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 85836 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+870.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 86836 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+880.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 87836 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+890.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 88836 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+900.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 89837 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+910.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88415 0 0 0 90837 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+920.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88488 0 0 0 91837 177 0 0 25 0 1 0 909820169 84406272 19705 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20607 19705 1111 63 0 20544 0
vsize: 82428
[startup+930.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88488 0 0 0 92837 177 0 0 25 0 1 0 909820169 84406272 19705 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20607 19705 1111 63 0 20544 0
vsize: 82428
[startup+940.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88488 0 0 0 93837 177 0 0 25 0 1 0 909820169 84406272 19705 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20607 19705 1111 63 0 20544 0
vsize: 82428
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88488 0 0 0 94837 177 0 0 25 0 1 0 909820169 84406272 19705 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20607 19705 1111 63 0 20544 0
vsize: 82428
[startup+960.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88620 0 0 0 95837 177 0 0 25 0 1 0 909820169 84946944 19809 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20739 19809 1111 63 0 20676 0
vsize: 82956
[startup+970.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 96837 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+980.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 97837 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+990.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 98838 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 99838 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 100838 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 101838 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 102838 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 103839 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 104839 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 105839 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88642 0 0 0 106839 177 0 0 25 0 1 0 909820169 84221952 19660 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20562 19660 1111 63 0 20499 0
vsize: 82248
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88677 0 0 0 107839 177 0 0 25 0 1 0 909820169 84496384 19695 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20629 19695 1111 63 0 20566 0
vsize: 82516
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88730 0 0 0 108839 177 0 0 25 0 1 0 909820169 84631552 19748 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20662 19748 1111 63 0 20599 0
vsize: 82648
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88793 0 0 0 109840 177 0 0 25 0 1 0 909820169 84525056 19731 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20636 19731 1111 63 0 20573 0
vsize: 82544
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88793 0 0 0 110840 177 0 0 25 0 1 0 909820169 84525056 19731 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20636 19731 1111 63 0 20573 0
vsize: 82544
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88793 0 0 0 111840 177 0 0 25 0 1 0 909820169 84357120 19693 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20595 19693 1111 63 0 20532 0
vsize: 82380
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88838 0 0 0 112840 177 0 0 25 0 1 0 909820169 84627456 19738 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20661 19738 1111 63 0 20598 0
vsize: 82644
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88886 0 0 0 113840 178 0 0 25 0 1 0 909820169 84762624 19786 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20694 19786 1111 63 0 20631 0
vsize: 82776
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88923 0 0 0 114840 178 0 0 25 0 1 0 909820169 84897792 19823 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20727 19823 1111 63 0 20664 0
vsize: 82908
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 88949 0 0 0 115840 178 0 0 25 0 1 0 909820169 85032960 19849 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20760 19849 1111 63 0 20697 0
vsize: 83040
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 89009 0 0 0 116841 178 0 0 25 0 1 0 909820169 84627456 19753 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20661 19753 1111 63 0 20598 0
vsize: 82644
[startup+1175.39 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 8764
Raw data (stat): 8764 (bsolo_lpr_cuts-) R 8763 20224 20223 0 -1 0 89009 0 0 0 116841 178 0 0 25 0 1 0 909820169 84627456 19753 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20661 19753 1111 63 0 20598 0
vsize: 0

Child status: 0
Real time (s): 1175.39
CPU time (s): 1175.51
CPU user time (s): 1173.69
CPU system time (s): 1.82372
CPU usage (%): 100.011
Max. virtual memory (Kb): 83040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####