PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb
MD5SUM	154c7c542b6df7aab333fa859438b34f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65634210
Optimality of the best value was proved	NO
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1662757407
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1662757407
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1252.14
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 41540

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 15:10:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29601 boxname=wulflinc6 idbench=1385 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  154c7c542b6df7aab333fa859438b34f  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-set1ch.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-set1ch.opb
IDLAUNCH: 29601
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        721880 kB
Buffers:         22140 kB
Cached:         269352 kB
SwapCached:        908 kB
Active:          27612 kB
Inactive:       265876 kB
HighTotal:      131008 kB
HighFree:        42784 kB
LowTotal:       903652 kB
LowFree:        679096 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5000 kB
Slab:            13644 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:30:25 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 29601 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9680 variables and 732 constraints.
c After prepocess the problem consists of 7700 variables and 954 constraints.
c preprocess terminated 7.047 s
c Initial Lower Bound: 17980733
c Lower Bound Elapsed time: 1.369
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.81 0.93 0.90 2/54 13920
Raw data (stat): 13920 (runsolver) R 13919 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911250201 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.0004 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 12794 0 0 0 966 31 0 0 25 0 1 0 911250201 51998720 11833 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12695 11833 1111 63 0 12632 0
vsize: 50780
[startup+20.0011 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 16581 0 0 0 1957 41 0 0 25 0 1 0 911250201 51122176 11716 4294967295 134512640 134716908 3221224560 3221222944 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12481 11716 1111 63 0 12418 0
vsize: 49924
[startup+30.0017 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 17519 0 0 0 2954 44 0 0 25 0 1 0 911250201 51126272 11719 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12482 11719 1111 63 0 12419 0
vsize: 49928
[startup+40.0017 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 17521 0 0 0 3954 44 0 0 25 0 1 0 911250201 51126272 11721 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12482 11721 1111 63 0 12419 0
vsize: 49928
[startup+50.0024 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 17525 0 0 0 4954 44 0 0 25 0 1 0 911250201 51261440 11725 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12515 11725 1111 63 0 12452 0
vsize: 50060
[startup+60.0029 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 18154 0 0 0 5952 47 0 0 25 0 1 0 911250201 53829632 12354 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13142 12354 1111 63 0 13079 0
vsize: 52568
[startup+70.003 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 18540 0 0 0 6951 48 0 0 25 0 1 0 911250201 55316480 12740 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13505 12740 1111 63 0 13442 0
vsize: 54020
[startup+80.0028 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 19174 0 0 0 7949 50 0 0 25 0 1 0 911250201 58023936 13374 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13374 1111 63 0 14103 0
vsize: 56664
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 19526 0 0 0 8948 52 0 0 25 0 1 0 911250201 59375616 13726 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14496 13726 1111 63 0 14433 0
vsize: 57984
[startup+100.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 20420 0 0 0 9945 55 0 0 25 0 1 0 911250201 63025152 14620 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15387 14620 1111 63 0 15324 0
vsize: 61548
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 21271 0 0 0 10942 59 0 0 25 0 1 0 911250201 66539520 15471 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16245 15471 1111 63 0 16182 0
vsize: 64980
[startup+120.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 22121 0 0 0 11939 62 0 0 25 0 1 0 911250201 70053888 16321 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17103 16321 1111 63 0 17040 0
vsize: 68412
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 22930 0 0 0 12936 65 0 0 25 0 1 0 911250201 73433088 17130 4294967295 134512640 134716908 3221224560 3221223336 134613517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17928 17130 1111 63 0 17865 0
vsize: 71712
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 23529 0 0 0 13934 68 0 0 25 0 1 0 911250201 75866112 17728 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18522 17728 1111 63 0 18459 0
vsize: 74088
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 24438 0 0 0 14931 71 0 0 25 0 1 0 911250201 79515648 18637 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19413 18637 1111 63 0 19350 0
vsize: 77652
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 25325 0 0 0 15929 73 0 0 25 0 1 0 911250201 83165184 19524 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20304 19524 1111 63 0 20241 0
vsize: 81216
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 26190 0 0 0 16928 75 0 0 25 0 1 0 911250201 86679552 20389 4294967295 134512640 134716908 3221224560 3221223264 134584838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21162 20389 1111 63 0 21099 0
vsize: 84648
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 26401 0 0 0 17927 76 0 0 25 0 1 0 911250201 87629824 20600 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21394 20600 1111 63 0 21331 0
vsize: 85576
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 26925 0 0 0 18925 79 0 0 25 0 1 0 911250201 89792512 21124 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21922 21124 1111 63 0 21859 0
vsize: 87688
[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 27515 0 0 0 19922 82 0 0 25 0 1 0 911250201 92225536 21714 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22516 21714 1111 63 0 22453 0
vsize: 90064
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 28081 0 0 0 20921 84 0 0 25 0 1 0 911250201 94523392 22280 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23077 22280 1111 63 0 23014 0
vsize: 92308
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 28584 0 0 0 21920 85 0 0 25 0 1 0 911250201 96550912 22783 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23572 22783 1111 63 0 23509 0
vsize: 94288
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 28584 0 0 0 22920 85 0 0 25 0 1 0 911250201 96550912 22783 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23572 22783 1111 63 0 23509 0
vsize: 94288
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 28589 0 0 0 23920 86 0 0 25 0 1 0 911250201 96550912 22788 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23572 22788 1111 63 0 23509 0
vsize: 94288
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 28589 0 0 0 24920 86 0 0 25 0 1 0 911250201 96550912 22788 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23572 22788 1111 63 0 23509 0
vsize: 94288
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 28778 0 0 0 25920 87 0 0 25 0 1 0 911250201 97357824 22977 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23769 22977 1111 63 0 23706 0
vsize: 95076
[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 29579 0 0 0 26917 90 0 0 25 0 1 0 911250201 100601856 23778 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24561 23778 1111 63 0 24498 0
vsize: 98244
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 30299 0 0 0 27915 92 0 0 25 0 1 0 911250201 103575552 24498 4294967295 134512640 134716908 3221224560 3221223068 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25287 24498 1111 63 0 25224 0
vsize: 101148
[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 30940 0 0 0 28914 93 0 0 25 0 1 0 911250201 106287104 25138 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25949 25138 1111 63 0 25886 0
vsize: 103796
[startup+300.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 31490 0 0 0 29912 95 0 0 25 0 1 0 911250201 108449792 25688 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26477 25688 1111 63 0 26414 0
vsize: 105908
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 31981 0 0 0 30911 97 0 0 25 0 1 0 911250201 110493696 26177 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26976 26177 1111 63 0 26913 0
vsize: 107904
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32016 0 0 0 31911 97 0 0 25 0 1 0 911250201 110628864 26212 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27009 26212 1111 63 0 26946 0
vsize: 108036
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32069 0 0 0 32911 98 0 0 25 0 1 0 911250201 110923776 26260 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27081 26260 1111 63 0 27018 0
vsize: 108324
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32081 0 0 0 33911 98 0 0 25 0 1 0 911250201 111058944 26272 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26272 1111 63 0 27051 0
vsize: 108456
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32081 0 0 0 34912 98 0 0 25 0 1 0 911250201 111058944 26272 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26272 1111 63 0 27051 0
vsize: 108456
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32082 0 0 0 35912 98 0 0 25 0 1 0 911250201 111058944 26273 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26273 1111 63 0 27051 0
vsize: 108456
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32083 0 0 0 36912 98 0 0 25 0 1 0 911250201 111058944 26274 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26274 1111 63 0 27051 0
vsize: 108456
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32084 0 0 0 37912 99 0 0 25 0 1 0 911250201 111058944 26275 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26275 1111 63 0 27051 0
vsize: 108456
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32086 0 0 0 38912 99 0 0 25 0 1 0 911250201 111058944 26277 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26277 1111 63 0 27051 0
vsize: 108456
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32090 0 0 0 39912 100 0 0 25 0 1 0 911250201 111058944 26281 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26281 1111 63 0 27051 0
vsize: 108456
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32092 0 0 0 40912 100 0 0 25 0 1 0 911250201 111058944 26283 4294967295 134512640 134716908 3221224560 3221223360 134597718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26283 1111 63 0 27051 0
vsize: 108456
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32098 0 0 0 41912 100 0 0 25 0 1 0 911250201 111058944 26289 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26289 1111 63 0 27051 0
vsize: 108456
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32099 0 0 0 42913 100 0 0 25 0 1 0 911250201 111058944 26290 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26290 1111 63 0 27051 0
vsize: 108456
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32099 0 0 0 43913 100 0 0 25 0 1 0 911250201 111058944 26290 4294967295 134512640 134716908 3221224560 3221223344 134597619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26290 1111 63 0 27051 0
vsize: 108456
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32099 0 0 0 44913 100 0 0 25 0 1 0 911250201 111058944 26290 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26290 1111 63 0 27051 0
vsize: 108456
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32100 0 0 0 45913 101 0 0 25 0 1 0 911250201 111058944 26291 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26291 1111 63 0 27051 0
vsize: 108456
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32102 0 0 0 46914 101 0 0 25 0 1 0 911250201 111058944 26293 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26293 1111 63 0 27051 0
vsize: 108456
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32104 0 0 0 47914 101 0 0 25 0 1 0 911250201 111058944 26295 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26295 1111 63 0 27051 0
vsize: 108456
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32105 0 0 0 48914 101 0 0 25 0 1 0 911250201 111058944 26296 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26296 1111 63 0 27051 0
vsize: 108456
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32106 0 0 0 49914 101 0 0 25 0 1 0 911250201 111058944 26297 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26297 1111 63 0 27051 0
vsize: 108456
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32108 0 0 0 50914 101 0 0 25 0 1 0 911250201 111058944 26299 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26299 1111 63 0 27051 0
vsize: 108456
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 51914 102 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 52914 102 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223360 134597680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 53915 102 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 54915 102 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 55915 102 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 56915 103 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 57915 103 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 58915 103 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32120 0 0 0 59916 103 0 0 25 0 1 0 911250201 111194112 26311 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26311 1111 63 0 27084 0
vsize: 108588
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32121 0 0 0 60916 103 0 0 25 0 1 0 911250201 111194112 26312 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26312 1111 63 0 27084 0
vsize: 108588
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32121 0 0 0 61916 104 0 0 25 0 1 0 911250201 111194112 26312 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26312 1111 63 0 27084 0
vsize: 108588
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32123 0 0 0 62916 104 0 0 25 0 1 0 911250201 111194112 26314 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26314 1111 63 0 27084 0
vsize: 108588
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32124 0 0 0 63917 104 0 0 25 0 1 0 911250201 111194112 26315 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26315 1111 63 0 27084 0
vsize: 108588
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32125 0 0 0 64916 104 0 0 25 0 1 0 911250201 111194112 26316 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26316 1111 63 0 27084 0
vsize: 108588
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32127 0 0 0 65916 105 0 0 25 0 1 0 911250201 111194112 26318 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26318 1111 63 0 27084 0
vsize: 108588
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32128 0 0 0 66916 105 0 0 25 0 1 0 911250201 111194112 26319 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26319 1111 63 0 27084 0
vsize: 108588
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32128 0 0 0 67917 105 0 0 25 0 1 0 911250201 111194112 26319 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26319 1111 63 0 27084 0
vsize: 108588
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32129 0 0 0 68917 105 0 0 25 0 1 0 911250201 111194112 26320 4294967295 134512640 134716908 3221224560 3221223328 134597631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26320 1111 63 0 27084 0
vsize: 108588
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32131 0 0 0 69917 106 0 0 25 0 1 0 911250201 111194112 26322 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26322 1111 63 0 27084 0
vsize: 108588
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32132 0 0 0 70917 106 0 0 25 0 1 0 911250201 111194112 26323 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26323 1111 63 0 27084 0
vsize: 108588
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32133 0 0 0 71917 106 0 0 25 0 1 0 911250201 111194112 26324 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26324 1111 63 0 27084 0
vsize: 108588
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32135 0 0 0 72917 106 0 0 25 0 1 0 911250201 111194112 26326 4294967295 134512640 134716908 3221224560 3221223344 134597624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26326 1111 63 0 27084 0
vsize: 108588
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32137 0 0 0 73917 106 0 0 25 0 1 0 911250201 111194112 26328 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26328 1111 63 0 27084 0
vsize: 108588
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32138 0 0 0 74918 107 0 0 25 0 1 0 911250201 111194112 26329 4294967295 134512640 134716908 3221224560 3221223344 134597677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26329 1111 63 0 27084 0
vsize: 108588
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32138 0 0 0 75918 107 0 0 25 0 1 0 911250201 111194112 26329 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26329 1111 63 0 27084 0
vsize: 108588
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32139 0 0 0 76918 107 0 0 25 0 1 0 911250201 111194112 26330 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26330 1111 63 0 27084 0
vsize: 108588
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32140 0 0 0 77918 107 0 0 25 0 1 0 911250201 111194112 26331 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26331 1111 63 0 27084 0
vsize: 108588
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32142 0 0 0 78919 107 0 0 25 0 1 0 911250201 111194112 26333 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26333 1111 63 0 27084 0
vsize: 108588
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32143 0 0 0 79919 107 0 0 25 0 1 0 911250201 111194112 26334 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27147 26334 1111 63 0 27084 0
vsize: 108588
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32144 0 0 0 80919 107 0 0 25 0 1 0 911250201 111329280 26335 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26335 1111 63 0 27117 0
vsize: 108720
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32146 0 0 0 81919 107 0 0 25 0 1 0 911250201 111329280 26337 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26337 1111 63 0 27117 0
vsize: 108720
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32147 0 0 0 82920 108 0 0 25 0 1 0 911250201 111329280 26338 4294967295 134512640 134716908 3221224560 3221223320 134613517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26338 1111 63 0 27117 0
vsize: 108720
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32147 0 0 0 83920 108 0 0 25 0 1 0 911250201 111329280 26338 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26338 1111 63 0 27117 0
vsize: 108720
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32148 0 0 0 84920 108 0 0 25 0 1 0 911250201 111329280 26339 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26339 1111 63 0 27117 0
vsize: 108720
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32150 0 0 0 85920 108 0 0 25 0 1 0 911250201 111329280 26341 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26341 1111 63 0 27117 0
vsize: 108720
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32151 0 0 0 86920 108 0 0 25 0 1 0 911250201 111329280 26342 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26342 1111 63 0 27117 0
vsize: 108720
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32152 0 0 0 87920 109 0 0 25 0 1 0 911250201 111329280 26343 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26343 1111 63 0 27117 0
vsize: 108720
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32153 0 0 0 88921 109 0 0 25 0 1 0 911250201 111329280 26344 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26344 1111 63 0 27117 0
vsize: 108720
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32156 0 0 0 89921 109 0 0 25 0 1 0 911250201 111329280 26347 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26347 1111 63 0 27117 0
vsize: 108720
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32156 0 0 0 90921 109 0 0 25 0 1 0 911250201 111329280 26347 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26347 1111 63 0 27117 0
vsize: 108720
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32157 0 0 0 91921 109 0 0 25 0 1 0 911250201 111329280 26348 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26348 1111 63 0 27117 0
vsize: 108720
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32158 0 0 0 92921 110 0 0 25 0 1 0 911250201 111329280 26349 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26349 1111 63 0 27117 0
vsize: 108720
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32160 0 0 0 93921 110 0 0 25 0 1 0 911250201 111329280 26351 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26351 1111 63 0 27117 0
vsize: 108720
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32161 0 0 0 94922 110 0 0 25 0 1 0 911250201 111329280 26352 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26352 1111 63 0 27117 0
vsize: 108720
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32162 0 0 0 95922 110 0 0 25 0 1 0 911250201 111329280 26353 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26353 1111 63 0 27117 0
vsize: 108720
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32164 0 0 0 96922 110 0 0 25 0 1 0 911250201 111329280 26355 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26355 1111 63 0 27117 0
vsize: 108720
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32165 0 0 0 97922 111 0 0 25 0 1 0 911250201 111329280 26356 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26356 1111 63 0 27117 0
vsize: 108720
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32165 0 0 0 98922 111 0 0 25 0 1 0 911250201 111329280 26356 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26356 1111 63 0 27117 0
vsize: 108720
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32167 0 0 0 99922 112 0 0 25 0 1 0 911250201 111329280 26358 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26358 1111 63 0 27117 0
vsize: 108720
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32168 0 0 0 100922 112 0 0 25 0 1 0 911250201 111329280 26359 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26359 1111 63 0 27117 0
vsize: 108720
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32169 0 0 0 101922 112 0 0 25 0 1 0 911250201 111329280 26360 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26360 1111 63 0 27117 0
vsize: 108720
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32170 0 0 0 102922 112 0 0 25 0 1 0 911250201 111329280 26361 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26361 1111 63 0 27117 0
vsize: 108720
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32172 0 0 0 103923 112 0 0 25 0 1 0 911250201 111329280 26363 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26363 1111 63 0 27117 0
vsize: 108720
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32173 0 0 0 104923 112 0 0 25 0 1 0 911250201 111329280 26364 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26364 1111 63 0 27117 0
vsize: 108720
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32175 0 0 0 105922 113 0 0 25 0 1 0 911250201 111329280 26366 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26366 1111 63 0 27117 0
vsize: 108720
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32175 0 0 0 106923 113 0 0 25 0 1 0 911250201 111329280 26366 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26366 1111 63 0 27117 0
vsize: 108720
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32176 0 0 0 107923 113 0 0 25 0 1 0 911250201 111329280 26367 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27180 26367 1111 63 0 27117 0
vsize: 108720
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32177 0 0 0 108923 113 0 0 25 0 1 0 911250201 111464448 26368 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26368 1111 63 0 27150 0
vsize: 108852
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32178 0 0 0 109923 114 0 0 25 0 1 0 911250201 111464448 26369 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26369 1111 63 0 27150 0
vsize: 108852
[startup+1110.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32180 0 0 0 110923 114 0 0 25 0 1 0 911250201 111464448 26371 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26371 1111 63 0 27150 0
vsize: 108852
[startup+1120.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32181 0 0 0 111925 114 0 0 25 0 1 0 911250201 111464448 26372 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26372 1111 63 0 27150 0
vsize: 108852
[startup+1130.05 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32182 0 0 0 112925 114 0 0 25 0 1 0 911250201 111464448 26373 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26373 1111 63 0 27150 0
vsize: 108852
[startup+1140.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32184 0 0 0 113925 114 0 0 25 0 1 0 911250201 111464448 26375 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26375 1111 63 0 27150 0
vsize: 108852
[startup+1150.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32184 0 0 0 114925 114 0 0 25 0 1 0 911250201 111464448 26375 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26375 1111 63 0 27150 0
vsize: 108852
[startup+1160.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32185 0 0 0 115926 115 0 0 25 0 1 0 911250201 111464448 26376 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26376 1111 63 0 27150 0
vsize: 108852
[startup+1170.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32186 0 0 0 116926 115 0 0 25 0 1 0 911250201 111464448 26377 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26377 1111 63 0 27150 0
vsize: 108852
[startup+1174.7 s]
Raw data (loadavg): 1.02 0.99 0.91 1/53 13920
Raw data (stat): 13920 (bsolo_lpr_cuts-) R 13919 25568 25567 0 -1 0 32186 0 0 0 116926 115 0 0 25 0 1 0 911250201 111464448 26377 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27213 26377 1111 63 0 27150 0
vsize: 0

Child status: 0
Real time (s): 1174.7
CPU time (s): 1175.06
CPU user time (s): 1173.86
CPU system time (s): 1.20282
CPU usage (%): 100.031
Max. virtual memory (Kb): 108852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####