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/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4742
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.33
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 41195

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 07:41:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29254 boxname=wulflinc2 idbench=1038 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 29254
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        792140 kB
Buffers:          3504 kB
Cached:         218668 kB
SwapCached:       1480 kB
Active:          25088 kB
Inactive:       199120 kB
HighTotal:      131008 kB
HighFree:         8960 kB
LowTotal:       903652 kB
LowFree:        783180 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4960 kB
Slab:            12816 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:01:07 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 29254 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 394 constraints.
c preprocess terminated 75.044 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 2.027
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.92 2/54 22731
Raw data (stat): 22731 (runsolver) R 22730 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908558554 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 16180 0 0 0 960 37 0 0 25 0 1 0 908558554 69398528 16089 4294967295 134512640 134716908 3221224560 3221223288 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16943 16089 1111 63 0 16880 0
vsize: 67772
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 17638 0 0 0 1957 41 0 0 25 0 1 0 908558554 75350016 17547 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17547 1111 63 0 18333 0
vsize: 73584
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 17692 0 0 0 2957 41 0 0 25 0 1 0 908558554 75620352 17601 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17601 1111 63 0 18399 0
vsize: 73848
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 17740 0 0 0 3956 41 0 0 25 0 1 0 908558554 75755520 17649 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17649 1111 63 0 18432 0
vsize: 73980
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 17786 0 0 0 4956 42 0 0 25 0 1 0 908558554 76025856 17695 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17695 1111 63 0 18498 0
vsize: 74244
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 17836 0 0 0 5955 43 0 0 25 0 1 0 908558554 76161024 17745 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17745 1111 63 0 18531 0
vsize: 74376
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 17879 0 0 0 6955 43 0 0 25 0 1 0 908558554 76296192 17788 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18627 17788 1111 63 0 18564 0
vsize: 74508
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 19082 0 0 0 7951 47 0 0 25 0 1 0 908558554 77651968 18260 4294967295 134512640 134716908 3221224560 3221223152 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18958 18260 1111 63 0 18895 0
vsize: 75832
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 19679 0 0 0 8949 49 0 0 25 0 1 0 908558554 80199680 18857 4294967295 134512640 134716908 3221224560 3221223328 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19580 18857 1111 63 0 19517 0
vsize: 78320
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 19899 0 0 0 9948 51 0 0 25 0 1 0 908558554 81047552 19068 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19787 19068 1111 63 0 19724 0
vsize: 79148
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 20320 0 0 0 10946 53 0 0 25 0 1 0 908558554 82759680 19489 4294967295 134512640 134716908 3221224560 3221223292 134524384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20205 19489 1111 63 0 20142 0
vsize: 80820
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 20612 0 0 0 11944 55 0 0 25 0 1 0 908558554 83886080 19781 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20480 19781 1111 63 0 20417 0
vsize: 81920
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 20733 0 0 0 12943 56 0 0 25 0 1 0 908558554 84426752 19902 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20612 19902 1111 63 0 20549 0
vsize: 82448
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 20956 0 0 0 13942 57 0 0 25 0 1 0 908558554 85348352 20125 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20837 20125 1111 63 0 20774 0
vsize: 83348
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21032 0 0 0 14941 58 0 0 25 0 1 0 908558554 85618688 20201 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20903 20201 1111 63 0 20840 0
vsize: 83612
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21198 0 0 0 15940 59 0 0 25 0 1 0 908558554 86294528 20367 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21068 20367 1111 63 0 21005 0
vsize: 84272
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21208 0 0 0 16939 61 0 0 25 0 1 0 908558554 86429696 20377 4294967295 134512640 134716908 3221224560 3221223328 134592424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21101 20377 1111 63 0 21038 0
vsize: 84404
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21378 0 0 0 17938 61 0 0 25 0 1 0 908558554 87023616 20547 4294967295 134512640 134716908 3221224560 3221223092 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21246 20547 1111 63 0 21183 0
vsize: 84984
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21476 0 0 0 18938 62 0 0 25 0 1 0 908558554 87347200 20608 4294967295 134512640 134716908 3221224560 3221223128 1077377891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21325 20608 1111 63 0 21262 0
vsize: 85300
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21531 0 0 0 19937 63 0 0 25 0 1 0 908558554 87482368 20663 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21358 20663 1111 63 0 21295 0
vsize: 85432
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21551 0 0 0 20937 63 0 0 25 0 1 0 908558554 87617536 20683 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20683 1111 63 0 21328 0
vsize: 85564
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21740 0 0 0 21936 64 0 0 25 0 1 0 908558554 88428544 20872 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 20872 1111 63 0 21526 0
vsize: 86356
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21792 0 0 0 22936 65 0 0 25 0 1 0 908558554 88563712 20924 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21622 20924 1111 63 0 21559 0
vsize: 86488
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21793 0 0 0 23935 65 0 0 25 0 1 0 908558554 88563712 20925 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21622 20925 1111 63 0 21559 0
vsize: 86488
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 21844 0 0 0 24935 66 0 0 25 0 1 0 908558554 88764416 20976 4294967295 134512640 134716908 3221224560 3221223212 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21671 20976 1111 63 0 21608 0
vsize: 86684
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 22281 0 0 0 25933 68 0 0 25 0 1 0 908558554 90632192 21413 4294967295 134512640 134716908 3221224560 3221223288 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22127 21413 1111 63 0 22064 0
vsize: 88508
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 22556 0 0 0 26932 69 0 0 25 0 1 0 908558554 91713536 21688 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22391 21688 1111 63 0 22328 0
vsize: 89564
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 22614 0 0 0 27932 70 0 0 25 0 1 0 908558554 91971584 21746 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22454 21746 1111 63 0 22391 0
vsize: 89816
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 22846 0 0 0 28931 71 0 0 25 0 1 0 908558554 92917760 21978 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22685 21978 1111 63 0 22622 0
vsize: 90740
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 22936 0 0 0 29931 71 0 0 25 0 1 0 908558554 93306880 22068 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22780 22068 1111 63 0 22717 0
vsize: 91120
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 23050 0 0 0 30930 72 0 0 25 0 1 0 908558554 93704192 22182 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22877 22182 1111 63 0 22814 0
vsize: 91508
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 23282 0 0 0 31929 73 0 0 25 0 1 0 908558554 94785536 22414 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23141 22414 1111 63 0 23078 0
vsize: 92564
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 23343 0 0 0 32929 74 0 0 25 0 1 0 908558554 94957568 22475 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23183 22475 1111 63 0 23120 0
vsize: 92732
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 23550 0 0 0 33927 76 0 0 25 0 1 0 908558554 95850496 22682 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23401 22682 1111 63 0 23338 0
vsize: 93604
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 23655 0 0 0 34927 76 0 0 25 0 1 0 908558554 96251904 22787 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23499 22787 1111 63 0 23436 0
vsize: 93996
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 23748 0 0 0 35926 77 0 0 25 0 1 0 908558554 96583680 22880 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23580 22880 1111 63 0 23517 0
vsize: 94320
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 23798 0 0 0 36926 77 0 0 25 0 1 0 908558554 96854016 22930 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23646 22930 1111 63 0 23583 0
vsize: 94584
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 23988 0 0 0 37925 78 0 0 25 0 1 0 908558554 97665024 23120 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23844 23120 1111 63 0 23781 0
vsize: 95376
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24040 0 0 0 38925 79 0 0 25 0 1 0 908558554 97783808 23172 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23873 23172 1111 63 0 23810 0
vsize: 95492
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24121 0 0 0 39924 80 0 0 25 0 1 0 908558554 98189312 23253 4294967295 134512640 134716908 3221224560 3221222956 1077379851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23972 23253 1111 63 0 23909 0
vsize: 95888
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24142 0 0 0 40924 80 0 0 25 0 1 0 908558554 98131968 23263 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23958 23263 1111 63 0 23895 0
vsize: 95832
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24231 0 0 0 41923 81 0 0 25 0 1 0 908558554 98508800 23345 4294967295 134512640 134716908 3221224560 3221223212 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24050 23345 1111 63 0 23987 0
vsize: 96200
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24257 0 0 0 42923 82 0 0 25 0 1 0 908558554 98643968 23371 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24083 23371 1111 63 0 24020 0
vsize: 96332
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24258 0 0 0 43923 82 0 0 25 0 1 0 908558554 98643968 23372 4294967295 134512640 134716908 3221224560 3221223280 134584805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24083 23372 1111 63 0 24020 0
vsize: 96332
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24375 0 0 0 44922 82 0 0 25 0 1 0 908558554 98824192 23432 4294967295 134512640 134716908 3221224560 3221223308 134675317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24127 23432 1111 63 0 24064 0
vsize: 96508
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24375 0 0 0 45922 83 0 0 25 0 1 0 908558554 98824192 23432 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24127 23432 1111 63 0 24064 0
vsize: 96508
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24414 0 0 0 46921 83 0 0 25 0 1 0 908558554 99094528 23471 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24193 23471 1111 63 0 24130 0
vsize: 96772
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24440 0 0 0 47920 85 0 0 25 0 1 0 908558554 99094528 23497 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24193 23497 1111 63 0 24130 0
vsize: 96772
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24561 0 0 0 48920 85 0 0 25 0 1 0 908558554 99635200 23618 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24325 23618 1111 63 0 24262 0
vsize: 97300
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24696 0 0 0 49919 86 0 0 25 0 1 0 908558554 100175872 23753 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24457 23753 1111 63 0 24394 0
vsize: 97828
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24722 0 0 0 50918 87 0 0 25 0 1 0 908558554 100311040 23779 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24490 23779 1111 63 0 24427 0
vsize: 97960
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24807 0 0 0 51918 88 0 0 25 0 1 0 908558554 100716544 23864 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24589 23864 1111 63 0 24526 0
vsize: 98356
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 24930 0 0 0 52917 89 0 0 25 0 1 0 908558554 101122048 23987 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24688 23987 1111 63 0 24625 0
vsize: 98752
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25051 0 0 0 53916 90 0 0 25 0 1 0 908558554 101662720 24108 4294967295 134512640 134716908 3221224560 3221223248 134524469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24820 24108 1111 63 0 24757 0
vsize: 99280
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25077 0 0 0 54916 90 0 0 25 0 1 0 908558554 101797888 24134 4294967295 134512640 134716908 3221224560 3221223200 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24853 24134 1111 63 0 24790 0
vsize: 99412
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25077 0 0 0 55916 91 0 0 25 0 1 0 908558554 101797888 24134 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24853 24134 1111 63 0 24790 0
vsize: 99412
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25116 0 0 0 56915 92 0 0 25 0 1 0 908558554 101933056 24173 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24886 24173 1111 63 0 24823 0
vsize: 99544
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25218 0 0 0 57914 92 0 0 25 0 1 0 908558554 102338560 24275 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24985 24275 1111 63 0 24922 0
vsize: 99940
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25218 0 0 0 58914 93 0 0 25 0 1 0 908558554 102117376 24236 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24931 24236 1111 63 0 24868 0
vsize: 99724
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25271 0 0 0 59914 93 0 0 25 0 1 0 908558554 102387712 24283 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25271 0 0 0 60914 94 0 0 25 0 1 0 908558554 102387712 24283 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25271 0 0 0 61913 95 0 0 25 0 1 0 908558554 102387712 24283 4294967295 134512640 134716908 3221224560 3221223100 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25306 0 0 0 62912 95 0 0 25 0 1 0 908558554 102408192 24307 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25002 24307 1111 63 0 24939 0
vsize: 100008
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25337 0 0 0 63912 96 0 0 25 0 1 0 908558554 102543360 24338 4294967295 134512640 134716908 3221224560 3221223232 134594375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25035 24338 1111 63 0 24972 0
vsize: 100140
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25375 0 0 0 64912 97 0 0 25 0 1 0 908558554 102813696 24376 4294967295 134512640 134716908 3221224560 3221222956 1077379991 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25101 24376 1111 63 0 25038 0
vsize: 100404
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25419 0 0 0 65911 97 0 0 25 0 1 0 908558554 102948864 24420 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25134 24420 1111 63 0 25071 0
vsize: 100536
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25497 0 0 0 66911 98 0 0 25 0 1 0 908558554 103219200 24498 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25200 24498 1111 63 0 25137 0
vsize: 100800
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25497 0 0 0 67910 98 0 0 25 0 1 0 908558554 103219200 24498 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25200 24498 1111 63 0 25137 0
vsize: 100800
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25505 0 0 0 68910 99 0 0 25 0 1 0 908558554 103354368 24506 4294967295 134512640 134716908 3221224560 3221223228 1076647536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25233 24506 1111 63 0 25170 0
vsize: 100932
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25505 0 0 0 69909 100 0 0 25 0 1 0 908558554 103354368 24506 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25233 24506 1111 63 0 25170 0
vsize: 100932
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25581 0 0 0 70909 101 0 0 25 0 1 0 908558554 103624704 24582 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25299 24582 1111 63 0 25236 0
vsize: 101196
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25581 0 0 0 71908 101 0 0 25 0 1 0 908558554 103624704 24582 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25299 24582 1111 63 0 25236 0
vsize: 101196
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25581 0 0 0 72908 102 0 0 25 0 1 0 908558554 103624704 24582 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25299 24582 1111 63 0 25236 0
vsize: 101196
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25730 0 0 0 73907 103 0 0 25 0 1 0 908558554 104280064 24731 4294967295 134512640 134716908 3221224560 3221223248 134594343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25459 24731 1111 63 0 25396 0
vsize: 101836
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25770 0 0 0 74907 103 0 0 25 0 1 0 908558554 104415232 24771 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25492 24771 1111 63 0 25429 0
vsize: 101968
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25802 0 0 0 75906 104 0 0 25 0 1 0 908558554 104550400 24803 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25525 24803 1111 63 0 25462 0
vsize: 102100
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25906 0 0 0 76906 105 0 0 25 0 1 0 908558554 104955904 24907 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25624 24907 1111 63 0 25561 0
vsize: 102496
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25907 0 0 0 77905 105 0 0 25 0 1 0 908558554 104955904 24908 4294967295 134512640 134716908 3221224560 3221223224 134543594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25624 24908 1111 63 0 25561 0
vsize: 102496
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 25908 0 0 0 78905 106 0 0 25 0 1 0 908558554 104955904 24909 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25624 24909 1111 63 0 25561 0
vsize: 102496
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26037 0 0 0 79904 107 0 0 25 0 1 0 908558554 105496576 25038 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25756 25038 1111 63 0 25693 0
vsize: 103024
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26179 0 0 0 80903 108 0 0 25 0 1 0 908558554 106090496 25180 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25901 25180 1111 63 0 25838 0
vsize: 103604
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26251 0 0 0 81903 108 0 0 25 0 1 0 908558554 106360832 25252 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25967 25252 1111 63 0 25904 0
vsize: 103868
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26322 0 0 0 82902 109 0 0 25 0 1 0 908558554 106676224 25320 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26044 25320 1111 63 0 25981 0
vsize: 104176
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26404 0 0 0 83901 110 0 0 25 0 1 0 908558554 106905600 25402 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26100 25402 1111 63 0 26037 0
vsize: 104400
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26505 0 0 0 84901 111 0 0 25 0 1 0 908558554 107311104 25503 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26199 25503 1111 63 0 26136 0
vsize: 104796
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26596 0 0 0 85900 112 0 0 25 0 1 0 908558554 107810816 25594 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26321 25594 1111 63 0 26258 0
vsize: 105284
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26605 0 0 0 86900 112 0 0 25 0 1 0 908558554 107810816 25603 4294967295 134512640 134716908 3221224560 3221223116 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26321 25603 1111 63 0 26258 0
vsize: 105284
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26680 0 0 0 87899 113 0 0 25 0 1 0 908558554 108081152 25678 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26387 25678 1111 63 0 26324 0
vsize: 105548
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26766 0 0 0 88898 114 0 0 25 0 1 0 908558554 108482560 25764 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26485 25764 1111 63 0 26422 0
vsize: 105940
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26826 0 0 0 89897 115 0 0 25 0 1 0 908558554 108675072 25824 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26532 25824 1111 63 0 26469 0
vsize: 106128
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26877 0 0 0 90897 116 0 0 25 0 1 0 908558554 108863488 25868 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26578 25868 1111 63 0 26515 0
vsize: 106312
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 26951 0 0 0 91897 116 0 0 25 0 1 0 908558554 109174784 25936 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26654 25936 1111 63 0 26591 0
vsize: 106616
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27000 0 0 0 92896 117 0 0 25 0 1 0 908558554 109391872 25985 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26707 25985 1111 63 0 26644 0
vsize: 106828
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27131 0 0 0 93895 119 0 0 25 0 1 0 908558554 109682688 26056 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26778 26056 1111 63 0 26715 0
vsize: 107112
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27160 0 0 0 94894 119 0 0 25 0 1 0 908558554 109817856 26085 4294967295 134512640 134716908 3221224560 3221223116 134539334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26811 26085 1111 63 0 26748 0
vsize: 107244
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27309 0 0 0 95892 121 0 0 25 0 1 0 908558554 110415872 26234 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26957 26234 1111 63 0 26894 0
vsize: 107828
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27423 0 0 0 96892 122 0 0 25 0 1 0 908558554 110850048 26348 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27063 26348 1111 63 0 27000 0
vsize: 108252
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27584 0 0 0 97891 122 0 0 25 0 1 0 908558554 111439872 26509 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27207 26509 1111 63 0 27144 0
vsize: 108828
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27602 0 0 0 98891 123 0 0 25 0 1 0 908558554 111562752 26527 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27237 26528 1111 63 0 27174 0
vsize: 108948
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27772 0 0 0 99890 124 0 0 25 0 1 0 908558554 112295936 26697 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27416 26697 1111 63 0 27353 0
vsize: 109664
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27940 0 0 0 100889 125 0 0 25 0 1 0 908558554 112951296 26865 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27576 26865 1111 63 0 27513 0
vsize: 110304
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 27940 0 0 0 101889 125 0 0 25 0 1 0 908558554 112926720 26865 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27570 26865 1111 63 0 27507 0
vsize: 110280
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 28131 0 0 0 102889 126 0 0 25 0 1 0 908558554 113737728 27056 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27768 27056 1111 63 0 27705 0
vsize: 111072
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 28219 0 0 0 103888 126 0 0 25 0 1 0 908558554 114143232 27144 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27867 27144 1111 63 0 27804 0
vsize: 111468
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 28624 0 0 0 104887 127 0 0 25 0 1 0 908558554 115818496 27549 4294967295 134512640 134716908 3221224560 3221223320 134675437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28276 27549 1111 63 0 28213 0
vsize: 113104
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 28728 0 0 0 105887 128 0 0 25 0 1 0 908558554 116015104 27629 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28324 27629 1111 63 0 28261 0
vsize: 113296
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 28828 0 0 0 106886 129 0 0 25 0 1 0 908558554 116555776 27729 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28456 27729 1111 63 0 28393 0
vsize: 113824
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 28960 0 0 0 107886 130 0 0 25 0 1 0 908558554 117067776 27861 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28581 27861 1111 63 0 28518 0
vsize: 114324
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 28960 0 0 0 108885 130 0 0 25 0 1 0 908558554 117067776 27861 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28581 27861 1111 63 0 28518 0
vsize: 114324
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 28992 0 0 0 109885 130 0 0 25 0 1 0 908558554 117202944 27893 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28614 27893 1111 63 0 28551 0
vsize: 114456
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22731
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 29042 0 0 0 110885 131 0 0 25 0 1 0 908558554 117342208 27937 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28648 27937 1111 63 0 28585 0
vsize: 114592
[startup+1120.01 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 22784
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 29070 0 0 0 111884 132 0 0 25 0 1 0 908558554 117407744 27965 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28664 27965 1111 63 0 28601 0
vsize: 114656
[startup+1130.01 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 22784
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 29178 0 0 0 112884 132 0 0 25 0 1 0 908558554 117841920 28073 4294967295 134512640 134716908 3221224560 3221223120 134552038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1140.01 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 22784
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 29178 0 0 0 113883 133 0 0 25 0 1 0 908558554 117841920 28073 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1150.01 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 22784
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 29178 0 0 0 114883 133 0 0 25 0 1 0 908558554 117841920 28073 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1160.01 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 22784
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 29207 0 0 0 115883 133 0 0 25 0 1 0 908558554 117977088 28102 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28803 28102 1111 63 0 28740 0
vsize: 115212
[startup+1170.01 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 22784
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 29221 0 0 0 116883 133 0 0 25 0 1 0 908558554 118108160 28116 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28835 28116 1111 63 0 28772 0
vsize: 115340
[startup+1174.9 s]
Raw data (loadavg): 1.06 1.00 0.93 1/53 22784
Raw data (stat): 22731 (bsolo_lpr_cuts-) R 22730 31399 31398 0 -1 0 29221 0 0 0 116883 133 0 0 25 0 1 0 908558554 118108160 28116 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28835 28116 1111 63 0 28772 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.07
CPU user time (s): 1173.67
CPU system time (s): 1.39579
CPU usage (%): 100.014
Max. virtual memory (Kb): 115340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####