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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
MD5SUM31b217e2e29235a8785a3af88a4b2ba1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 513536
Optimality of the best value was proved NO
Number of terms in the objective function 10582
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 2347111
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 2347111
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.14
Number of variables10582
Total number of constraints6316
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)451
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198

Trace number 41306

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 09:55:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29356 boxname=wulflinc2 idbench=1140 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  31b217e2e29235a8785a3af88a4b2ba1  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-seymour1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-seymour1.opb
IDLAUNCH: 29356
/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:        948768 kB
Buffers:          1888 kB
Cached:          62788 kB
SwapCached:       1420 kB
Active:          28928 kB
Inactive:        37736 kB
HighTotal:      131008 kB
HighFree:        92708 kB
LowTotal:       903652 kB
LowFree:        856060 kB
SwapTotal:     2097136 kB
SwapFree:      2094612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4936 kB
Slab:            13444 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:15:12 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 29356 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10582 variables and 5865 constraints.
c After prepocess the problem consists of 10085 variables and 5691 constraints.
c preprocess terminated 45.622 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.86 0.94 0.90 2/54 25354
Raw data (stat): 25354 (runsolver) R 25353 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909360482 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 13413 0 0 0 966 31 0 0 25 0 1 0 909360482 67936256 13333 4294967295 134512640 134716908 3221224560 3221222884 1077049358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16586 13333 1111 63 0 16523 0
vsize: 66344
[startup+20.0016 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 18586 0 0 0 1954 44 0 0 25 0 1 0 909360482 89112576 18506 4294967295 134512640 134716908 3221224560 3221221036 1077198280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21756 18506 1111 63 0 21693 0
vsize: 87024
[startup+30.0023 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 24597 0 0 0 2936 62 0 0 25 0 1 0 909360482 103931904 24475 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25374 24475 1111 63 0 25311 0
vsize: 101496
[startup+40.003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 24597 0 0 0 3936 62 0 0 25 0 1 0 909360482 103931904 24475 4294967295 134512640 134716908 3221224560 3221223288 134675304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25374 24475 1111 63 0 25311 0
vsize: 101496
[startup+50.0026 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 24867 0 0 0 4934 64 0 0 25 0 1 0 909360482 104939520 24745 4294967295 134512640 134716908 3221224560 3221221568 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25620 24745 1111 63 0 25557 0
vsize: 102480
[startup+60.0022 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25064 0 0 0 5932 65 0 0 25 0 1 0 909360482 105746432 24942 4294967295 134512640 134716908 3221224560 3221220896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25817 24942 1111 63 0 25754 0
vsize: 103268
[startup+70.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25313 0 0 0 6931 67 0 0 25 0 1 0 909360482 106766336 25191 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26066 25191 1111 63 0 26003 0
vsize: 104264
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25436 0 0 0 7929 69 0 0 25 0 1 0 909360482 107270144 25314 4294967295 134512640 134716908 3221224560 3221221840 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25314 1111 63 0 26126 0
vsize: 104756
[startup+90.0023 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25588 0 0 0 8927 70 0 0 25 0 1 0 909360482 107782144 25439 4294967295 134512640 134716908 3221224560 3221222224 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26314 25439 1111 63 0 26251 0
vsize: 105256
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25734 0 0 0 9926 71 0 0 25 0 1 0 909360482 108380160 25585 4294967295 134512640 134716908 3221224560 3221221840 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26460 25585 1111 63 0 26397 0
vsize: 105840
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25801 0 0 0 10925 72 0 0 25 0 1 0 909360482 108654592 25652 4294967295 134512640 134716908 3221224560 3221222224 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26527 25652 1111 63 0 26464 0
vsize: 106108
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25843 0 0 0 11923 74 0 0 25 0 1 0 909360482 108826624 25694 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26569 25694 1111 63 0 26506 0
vsize: 106276
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25875 0 0 0 12922 75 0 0 25 0 1 0 909360482 108957696 25726 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26601 25726 1111 63 0 26538 0
vsize: 106404
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 25881 0 0 0 13922 76 0 0 25 0 1 0 909360482 108982272 25732 4294967295 134512640 134716908 3221224560 3221221808 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26607 25732 1111 63 0 26544 0
vsize: 106428
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32080 0 0 0 14909 90 0 0 25 0 1 0 909360482 120119296 28377 4294967295 134512640 134716908 3221224560 3221220704 1075115758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29326 28377 1111 63 0 29263 0
vsize: 117304
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32147 0 0 0 15908 90 0 0 25 0 1 0 909360482 120295424 28444 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29369 28444 1111 63 0 29306 0
vsize: 117476
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32213 0 0 0 16907 91 0 0 25 0 1 0 909360482 120479744 28510 4294967295 134512640 134716908 3221224560 3221220508 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29414 28510 1111 63 0 29351 0
vsize: 117656
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32239 0 0 0 17907 91 0 0 25 0 1 0 909360482 120590336 28536 4294967295 134512640 134716908 3221224560 3221220508 1074873393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29441 28536 1111 63 0 29378 0
vsize: 117764
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32264 0 0 0 18907 92 0 0 25 0 1 0 909360482 120692736 28561 4294967295 134512640 134716908 3221224560 3221220624 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29466 28561 1111 63 0 29403 0
vsize: 117864
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32264 0 0 0 19906 92 0 0 25 0 1 0 909360482 120692736 28561 4294967295 134512640 134716908 3221224560 3221220508 1074873480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29466 28561 1111 63 0 29403 0
vsize: 117864
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32264 0 0 0 20906 92 0 0 25 0 1 0 909360482 120692736 28561 4294967295 134512640 134716908 3221224560 3221220476 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29466 28561 1111 63 0 29403 0
vsize: 117864
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32280 0 0 0 21906 93 0 0 25 0 1 0 909360482 120803328 28577 4294967295 134512640 134716908 3221224560 3221220692 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29493 28577 1111 63 0 29430 0
vsize: 117972
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32287 0 0 0 22906 93 0 0 25 0 1 0 909360482 120803328 28584 4294967295 134512640 134716908 3221224560 3221220684 1074878548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29493 28584 1111 63 0 29430 0
vsize: 117972
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32288 0 0 0 23905 94 0 0 25 0 1 0 909360482 120803328 28585 4294967295 134512640 134716908 3221224560 3221220404 1074786507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29493 28585 1111 63 0 29430 0
vsize: 117972
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32288 0 0 0 24905 94 0 0 25 0 1 0 909360482 120803328 28585 4294967295 134512640 134716908 3221224560 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29493 28585 1111 63 0 29430 0
vsize: 117972
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32290 0 0 0 25905 94 0 0 25 0 1 0 909360482 120803328 28587 4294967295 134512640 134716908 3221224560 3221220996 1074260620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29493 28587 1111 63 0 29430 0
vsize: 117972
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32316 0 0 0 26905 94 0 0 25 0 1 0 909360482 120922112 28613 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29522 28613 1111 63 0 29459 0
vsize: 118088
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32316 0 0 0 27904 95 0 0 25 0 1 0 909360482 120922112 28613 4294967295 134512640 134716908 3221224560 3221220576 1075895677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29522 28613 1111 63 0 29459 0
vsize: 118088
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25354
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32316 0 0 0 28903 96 0 0 25 0 1 0 909360482 120922112 28613 4294967295 134512640 134716908 3221224560 3221221384 1074950074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29522 28613 1111 63 0 29459 0
vsize: 118088
[startup+300.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25407
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32344 0 0 0 29903 96 0 0 25 0 1 0 909360482 121049088 28641 4294967295 134512640 134716908 3221224560 3221220736 1074960843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28641 1111 63 0 29490 0
vsize: 118212
[startup+310.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25407
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32344 0 0 0 30903 96 0 0 25 0 1 0 909360482 121049088 28641 4294967295 134512640 134716908 3221224560 3221220624 1075094860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28641 1111 63 0 29490 0
vsize: 118212
[startup+320.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25407
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32344 0 0 0 31903 96 0 0 25 0 1 0 909360482 121049088 28641 4294967295 134512640 134716908 3221224560 3221220704 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28641 1111 63 0 29490 0
vsize: 118212
[startup+330.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25407
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32344 0 0 0 32903 96 0 0 25 0 1 0 909360482 121049088 28641 4294967295 134512640 134716908 3221224560 3221220476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28641 1111 63 0 29490 0
vsize: 118212
[startup+340.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25407
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32344 0 0 0 33903 96 0 0 25 0 1 0 909360482 121049088 28641 4294967295 134512640 134716908 3221224560 3221220692 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28641 1111 63 0 29490 0
vsize: 118212
[startup+350.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25407
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 32385 0 0 0 34903 96 0 0 25 0 1 0 909360482 121049088 28662 4294967295 134512640 134716908 3221224560 3221221120 1075967926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28662 1111 63 0 29490 0
vsize: 118212
[startup+360.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25407
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 37576 0 0 0 35891 109 0 0 25 0 1 0 909360482 109826048 26076 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26813 26076 1111 63 0 26750 0
vsize: 107252
[startup+370.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25407
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 37576 0 0 0 36891 109 0 0 25 0 1 0 909360482 109826048 26076 4294967295 134512640 134716908 3221224560 3221222768 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26813 26076 1111 63 0 26750 0
vsize: 107252
[startup+380.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 37576 0 0 0 37891 109 0 0 25 0 1 0 909360482 109826048 26076 4294967295 134512640 134716908 3221224560 3221222616 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26813 26076 1111 63 0 26750 0
vsize: 107252
[startup+390.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 37691 0 0 0 38891 110 0 0 25 0 1 0 909360482 109985792 26081 4294967295 134512640 134716908 3221224560 3221222676 1075964231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26852 26081 1111 63 0 26789 0
vsize: 107408
[startup+400.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 40079 0 0 0 39885 116 0 0 25 0 1 0 909360482 118677504 28051 4294967295 134512640 134716908 3221224560 3221222432 1075961286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28974 28051 1111 63 0 28911 0
vsize: 115896
[startup+410.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44240 0 0 0 40875 126 0 0 25 0 1 0 909360482 120815616 28509 4294967295 134512640 134716908 3221224560 3221220488 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29496 28509 1111 63 0 29433 0
vsize: 117984
[startup+420.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44283 0 0 0 41875 126 0 0 25 0 1 0 909360482 120815616 28552 4294967295 134512640 134716908 3221224560 3221220692 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29496 28552 1111 63 0 29433 0
vsize: 117984
[startup+430.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44340 0 0 0 42875 126 0 0 25 0 1 0 909360482 120815616 28609 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29496 28609 1111 63 0 29433 0
vsize: 117984
[startup+440.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44352 0 0 0 43876 126 0 0 25 0 1 0 909360482 120815616 28621 4294967295 134512640 134716908 3221224560 3221220996 1074260613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29496 28621 1111 63 0 29433 0
vsize: 117984
[startup+450.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44357 0 0 0 44876 126 0 0 25 0 1 0 909360482 120815616 28626 4294967295 134512640 134716908 3221224560 3221220736 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29496 28626 1111 63 0 29433 0
vsize: 117984
[startup+460.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44368 0 0 0 45876 126 0 0 25 0 1 0 909360482 120815616 28637 4294967295 134512640 134716908 3221224560 3221220692 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29496 28637 1111 63 0 29433 0
vsize: 117984
[startup+470.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44372 0 0 0 46876 126 0 0 25 0 1 0 909360482 120815616 28641 4294967295 134512640 134716908 3221224560 3221220672 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29496 28641 1111 63 0 29433 0
vsize: 117984
[startup+480.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44402 0 0 0 47876 126 0 0 25 0 1 0 909360482 120946688 28671 4294967295 134512640 134716908 3221224560 3221220508 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28671 1111 63 0 29465 0
vsize: 118112
[startup+490.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44404 0 0 0 48876 126 0 0 25 0 1 0 909360482 120946688 28673 4294967295 134512640 134716908 3221224560 3221220508 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28673 1111 63 0 29465 0
vsize: 118112
[startup+500.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44404 0 0 0 49877 126 0 0 25 0 1 0 909360482 120946688 28673 4294967295 134512640 134716908 3221224560 3221220508 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28673 1111 63 0 29465 0
vsize: 118112
[startup+510.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44404 0 0 0 50877 126 0 0 25 0 1 0 909360482 120946688 28673 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28673 1111 63 0 29465 0
vsize: 118112
[startup+520.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44404 0 0 0 51877 126 0 0 25 0 1 0 909360482 120946688 28673 4294967295 134512640 134716908 3221224560 3221220476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28673 1111 63 0 29465 0
vsize: 118112
[startup+530.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44404 0 0 0 52877 126 0 0 25 0 1 0 909360482 120946688 28673 4294967295 134512640 134716908 3221224560 3221220832 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28673 1111 63 0 29465 0
vsize: 118112
[startup+540.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44404 0 0 0 53877 126 0 0 25 0 1 0 909360482 120946688 28673 4294967295 134512640 134716908 3221224560 3221220536 1074950215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28673 1111 63 0 29465 0
vsize: 118112
[startup+550.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 54877 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+560.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 55878 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+570.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 56878 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+580.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 57878 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+590.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 58878 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+600.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 59878 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220624 1074794482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+610.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 60879 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 61880 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220692 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+630.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 62880 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 63880 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 64880 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220692 1075115057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+660.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25409
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 65880 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220456 1075964728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+670.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 66881 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220692 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 67881 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+690.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 68881 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220564 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+700.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 69881 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+710.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 70881 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220692 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 71882 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220508 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 72882 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220592 1075561195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+740.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 73882 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221221384 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+750.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 74882 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+760.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 75882 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220640 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+770.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 76883 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220564 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+780.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 44405 0 0 0 77883 126 0 0 25 0 1 0 909360482 120946688 28674 4294967295 134512640 134716908 3221224560 3221220668 1075564295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29528 28674 1111 63 0 29465 0
vsize: 118112
[startup+790.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 49545 0 0 0 78871 138 0 0 25 0 1 0 909360482 110116864 26117 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26884 26117 1111 63 0 26821 0
vsize: 107536
[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 49545 0 0 0 79871 138 0 0 25 0 1 0 909360482 110116864 26117 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26884 26117 1111 63 0 26821 0
vsize: 107536
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 49545 0 0 0 80871 139 0 0 25 0 1 0 909360482 110116864 26117 4294967295 134512640 134716908 3221224560 3221222616 1074950124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26884 26117 1111 63 0 26821 0
vsize: 107536
[startup+820.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 49545 0 0 0 81871 139 0 0 25 0 1 0 909360482 110116864 26117 4294967295 134512640 134716908 3221224560 3221222928 134606998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26884 26117 1111 63 0 26821 0
vsize: 107536
[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 55779 0 0 0 82858 152 0 0 25 0 1 0 909360482 122343424 28761 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29869 28761 1111 63 0 29806 0
vsize: 119476
[startup+840.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 60956 0 0 0 83847 164 0 0 25 0 1 0 909360482 110194688 26137 4294967295 134512640 134716908 3221224560 3221222784 1075006800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26903 26137 1111 63 0 26840 0
vsize: 107612
[startup+850.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 60956 0 0 0 84846 164 0 0 25 0 1 0 909360482 110194688 26137 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26903 26137 1111 63 0 26840 0
vsize: 107612
[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 60956 0 0 0 85846 164 0 0 25 0 1 0 909360482 110194688 26137 4294967295 134512640 134716908 3221224560 3221222768 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26903 26137 1111 63 0 26840 0
vsize: 107612
[startup+870.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 60956 0 0 0 86846 164 0 0 25 0 1 0 909360482 110194688 26137 4294967295 134512640 134716908 3221224560 3221222768 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26903 26137 1111 63 0 26840 0
vsize: 107612
[startup+880.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 60956 0 0 0 87846 165 0 0 25 0 1 0 909360482 110194688 26137 4294967295 134512640 134716908 3221224560 3221222676 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26903 26137 1111 63 0 26840 0
vsize: 107612
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67273 0 0 0 88832 178 0 0 25 0 1 0 909360482 121008128 28506 4294967295 134512640 134716908 3221224560 3221220592 1075561204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28506 1111 63 0 29480 0
vsize: 118172
[startup+900.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67285 0 0 0 89832 178 0 0 25 0 1 0 909360482 121008128 28518 4294967295 134512640 134716908 3221224560 3221220348 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28518 1111 63 0 29480 0
vsize: 118172
[startup+910.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 90833 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220464 1075965248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+920.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 91833 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220396 1074788156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 92833 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220508 1074873456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+940.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 93833 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220424 1075964755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 94833 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220508 1074873509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+960.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 95834 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220692 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+970.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 96834 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220528 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+980.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 97834 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220592 1075561201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 98834 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220624 1074794472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 99834 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220692 1075115073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 100835 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220692 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 101835 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 102835 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220464 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 103835 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220736 1074960923 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 67288 0 0 0 104835 178 0 0 25 0 1 0 909360482 121008128 28521 4294967295 134512640 134716908 3221224560 3221220704 1075115739 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 28521 1111 63 0 29480 0
vsize: 118172
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 69317 0 0 0 105831 183 0 0 25 0 1 0 909360482 113786880 26956 4294967295 134512640 134716908 3221224560 3221222208 1075645397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27780 26956 1111 63 0 27717 0
vsize: 111120
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 72502 0 0 0 106824 191 0 0 25 0 1 0 909360482 110284800 26155 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26925 26155 1111 63 0 26862 0
vsize: 107700
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 72502 0 0 0 107824 191 0 0 25 0 1 0 909360482 110284800 26155 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26925 26155 1111 63 0 26862 0
vsize: 107700
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 72502 0 0 0 108824 191 0 0 25 0 1 0 909360482 110284800 26155 4294967295 134512640 134716908 3221224560 3221222616 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26925 26155 1111 63 0 26862 0
vsize: 107700
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 72502 0 0 0 109825 191 0 0 25 0 1 0 909360482 110284800 26155 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26925 26155 1111 63 0 26862 0
vsize: 107700
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 83662 0 0 0 110801 214 0 0 25 0 1 0 909360482 110370816 26167 4294967295 134512640 134716908 3221224560 3221222784 1074039446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26946 26167 1111 63 0 26883 0
vsize: 107784
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 83662 0 0 0 111801 215 0 0 25 0 1 0 909360482 110370816 26167 4294967295 134512640 134716908 3221224560 3221222960 134646713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26946 26167 1111 63 0 26883 0
vsize: 107784
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 83662 0 0 0 112801 215 0 0 25 0 1 0 909360482 110370816 26167 4294967295 134512640 134716908 3221224560 3221222976 134646688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26946 26167 1111 63 0 26883 0
vsize: 107784
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 83662 0 0 0 113801 215 0 0 25 0 1 0 909360482 110370816 26167 4294967295 134512640 134716908 3221224560 3221223020 1074206848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26946 26167 1111 63 0 26883 0
vsize: 107784
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 83662 0 0 0 114801 215 0 0 25 0 1 0 909360482 110370816 26167 4294967295 134512640 134716908 3221224560 3221222616 1074950117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26946 26167 1111 63 0 26883 0
vsize: 107784
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 90001 0 0 0 115787 229 0 0 25 0 1 0 909360482 121200640 28527 4294967295 134512640 134716908 3221224560 3221220736 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29590 28527 1111 63 0 29527 0
vsize: 118360
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 90042 0 0 0 116788 229 0 0 25 0 1 0 909360482 121200640 28568 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29590 28568 1111 63 0 29527 0
vsize: 118360
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 90054 0 0 0 117788 229 0 0 25 0 1 0 909360482 121200640 28580 4294967295 134512640 134716908 3221224560 3221220508 1074873520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29590 28580 1111 63 0 29527 0
vsize: 118360
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 90056 0 0 0 118788 229 0 0 25 0 1 0 909360482 121200640 28582 4294967295 134512640 134716908 3221224560 3221220624 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29590 28582 1111 63 0 29527 0
vsize: 118360
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) R 25353 31399 31398 0 -1 0 90057 0 0 0 119788 229 0 0 25 0 1 0 909360482 121200640 28583 4294967295 134512640 134716908 3221224560 3221220508 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29590 28583 1111 63 0 29527 0
vsize: 118360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 25411
Raw data (stat): 25354 (bsolo_lpr_cuts-) Z 25353 31399 31398 0 -1 1036 90057 0 0 0 119788 235 0 0 25 0 1 0 909360482 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.24
CPU user time (s): 1197.89
CPU system time (s): 2.35064
CPU usage (%): 100.012
Max. virtual memory (Kb): 119476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####