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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
MD5SUM	b7b224de1898888de830ec05fbd5ea69
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07284
Number of variables	2726
Total number of constraints	4395
Number of constraints which are clauses	4395
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24283

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 11:06:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2054 boxname=wulflinc31 idbench=229 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b7b224de1898888de830ec05fbd5ea69  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-159.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-159.opb
IDLAUNCH: 2054
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        139020 kB
Buffers:         43980 kB
Cached:         817072 kB
SwapCached:        644 kB
Active:         490504 kB
Inactive:       372872 kB
HighTotal:      131008 kB
HighFree:         1456 kB
LowTotal:       903652 kB
LowFree:        137564 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26508 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 11:26:15 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 2054 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2726 variables and 4395 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.06 1.00 0.99 2/54 27529
Raw data (stat): 27529 (runsolver) R 27528 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 700111576 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 48362 0 0 0 879 116 0 0 25 0 1 0 700111576 17956864 3540 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4384 3540 1111 63 0 4321 0
vsize: 17536
[startup+20.0015 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 71789 0 0 0 1825 171 0 0 25 0 1 0 700111576 28762112 6160 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7022 6160 1111 63 0 6959 0
vsize: 28088
[startup+30.0017 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 92743 0 0 0 2777 219 0 0 25 0 1 0 700111576 32968704 7206 4294967295 134512640 134714508 3221221776 3221220108 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8049 7206 1111 63 0 7986 0
vsize: 32196
[startup+40.0026 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 104677 0 0 0 3750 247 0 0 25 0 1 0 700111576 38371328 8525 4294967295 134512640 134714508 3221221776 3221220576 134617238 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9368 8525 1111 63 0 9305 0
vsize: 37472
[startup+50.0032 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 113368 0 0 0 4732 264 0 0 25 0 1 0 700111576 42749952 9567 4294967295 134512640 134714508 3221221776 3221220256 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10437 9567 1111 63 0 10374 0
vsize: 41748
[startup+60.0035 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 121837 0 0 0 5711 285 0 0 25 0 1 0 700111576 45871104 10351 4294967295 134512640 134714508 3221221776 3221220352 134523974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11199 10351 1111 63 0 11136 0
vsize: 44796
[startup+70.0041 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 128855 0 0 0 6695 301 0 0 25 0 1 0 700111576 49254400 11182 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12025 11182 1111 63 0 11962 0
vsize: 48100
[startup+80.0041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 132761 0 0 0 7687 310 0 0 25 0 1 0 700111576 51859456 11812 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12661 11812 1111 63 0 12598 0
vsize: 50644
[startup+90.005 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 135623 0 0 0 8679 318 0 0 25 0 1 0 700111576 53186560 12142 4294967295 134512640 134714508 3221221776 3221220304 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12985 12142 1111 63 0 12922 0
vsize: 51940
[startup+100.005 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 138977 0 0 0 9672 325 0 0 25 0 1 0 700111576 57307136 13118 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13991 13118 1111 63 0 13928 0
vsize: 55964
[startup+110.005 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 141658 0 0 0 10667 331 0 0 25 0 1 0 700111576 59289600 13608 4294967295 134512640 134714508 3221221776 3221220304 134523171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14475 13608 1111 63 0 14412 0
vsize: 57900
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 161203 0 0 0 11619 378 0 0 25 0 1 0 700111576 60948480 14037 4294967295 134512640 134714508 3221221776 3221220200 134542822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14880 14037 1111 63 0 14817 0
vsize: 59520
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 162633 0 0 0 12615 383 0 0 25 0 1 0 700111576 61370368 14137 4294967295 134512640 134714508 3221221776 3221220304 134528738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14983 14137 1111 63 0 14920 0
vsize: 59932
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 163803 0 0 0 13612 386 0 0 25 0 1 0 700111576 61763584 14211 4294967295 134512640 134714508 3221221776 3221220160 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15079 14211 1111 63 0 15016 0
vsize: 60316
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 170410 0 0 0 14598 400 0 0 25 0 1 0 700111576 64929792 14959 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15852 14959 1111 63 0 15789 0
vsize: 63408
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 174095 0 0 0 15591 408 0 0 25 0 1 0 700111576 66457600 15334 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16225 15334 1111 63 0 16162 0
vsize: 64900
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 176949 0 0 0 16584 415 0 0 25 0 1 0 700111576 68251648 15784 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16663 15784 1111 63 0 16600 0
vsize: 66652
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 180669 0 0 0 17577 422 0 0 25 0 1 0 700111576 68870144 15948 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16814 15948 1111 63 0 16751 0
vsize: 67256
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 183330 0 0 0 18570 430 0 0 25 0 1 0 700111576 71282688 16511 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17403 16511 1111 63 0 17340 0
vsize: 69612
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 186260 0 0 0 19564 436 0 0 25 0 1 0 700111576 72785920 16890 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17770 16890 1111 63 0 17707 0
vsize: 71080
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 187675 0 0 0 20560 440 0 0 25 0 1 0 700111576 73793536 17152 4294967295 134512640 134714508 3221221776 3221220256 134524108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18016 17152 1111 63 0 17953 0
vsize: 72064
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 190261 0 0 0 21554 446 0 0 25 0 1 0 700111576 75579392 17577 4294967295 134512640 134714508 3221221776 3221220280 134539345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18452 17577 1111 63 0 18389 0
vsize: 73808
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 193195 0 0 0 22548 452 0 0 25 0 1 0 700111576 76283904 17761 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18624 17761 1111 63 0 18561 0
vsize: 74496
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 197172 0 0 0 23539 461 0 0 25 0 1 0 700111576 77144064 17971 4294967295 134512640 134714508 3221221776 3221220256 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18834 17971 1111 63 0 18771 0
vsize: 75336
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 199839 0 0 0 24534 467 0 0 25 0 1 0 700111576 77840384 18115 4294967295 134512640 134714508 3221221776 3221220196 134543680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19004 18115 1111 63 0 18941 0
vsize: 76016
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 201021 0 0 0 25532 469 0 0 25 0 1 0 700111576 79912960 18649 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19510 18649 1111 63 0 19447 0
vsize: 78040
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 202535 0 0 0 26528 472 0 0 25 0 1 0 700111576 80322560 18720 4294967295 134512640 134714508 3221221776 3221220140 134539309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19610 18720 1111 63 0 19547 0
vsize: 78440
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 205834 0 0 0 27522 479 0 0 25 0 1 0 700111576 82624512 19297 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20172 19297 1111 63 0 20109 0
vsize: 80688
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 209106 0 0 0 28514 487 0 0 25 0 1 0 700111576 82702336 19331 4294967295 134512640 134714508 3221221776 3221220160 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20191 19331 1111 63 0 20128 0
vsize: 80764
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 210404 0 0 0 29511 490 0 0 25 0 1 0 700111576 84688896 19795 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20676 19795 1111 63 0 20613 0
vsize: 82704
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 214475 0 0 0 30503 499 0 0 25 0 1 0 700111576 85676032 20036 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20917 20036 1111 63 0 20854 0
vsize: 83668
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 218484 0 0 0 31494 508 0 0 25 0 1 0 700111576 86622208 20271 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21148 20271 1111 63 0 21085 0
vsize: 84592
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 220617 0 0 0 32490 512 0 0 25 0 1 0 700111576 87392256 20445 4294967295 134512640 134714508 3221221776 3221220108 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21336 20445 1111 63 0 21273 0
vsize: 85344
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 224314 0 0 0 33482 520 0 0 25 0 1 0 700111576 88592384 20770 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21629 20770 1111 63 0 21566 0
vsize: 86516
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 225371 0 0 0 34479 523 0 0 25 0 1 0 700111576 89690112 21039 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21897 21039 1111 63 0 21834 0
vsize: 87588
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 226792 0 0 0 35475 527 0 0 25 0 1 0 700111576 91213824 21384 4294967295 134512640 134714508 3221221776 3221220392 134543830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22269 21384 1111 63 0 22206 0
vsize: 89076
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 228134 0 0 0 36472 530 0 0 25 0 1 0 700111576 92061696 21607 4294967295 134512640 134714508 3221221776 3221220400 134594999 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22476 21607 1111 63 0 22413 0
vsize: 89904
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 230066 0 0 0 37469 534 0 0 25 0 1 0 700111576 92971008 21828 4294967295 134512640 134714508 3221221776 3221220504 134672926 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22698 21828 1111 63 0 22635 0
vsize: 90792
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 230843 0 0 0 38467 536 0 0 25 0 1 0 700111576 93151232 21885 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22742 21885 1111 63 0 22679 0
vsize: 90968
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 231836 0 0 0 39465 538 0 0 25 0 1 0 700111576 94687232 22257 4294967295 134512640 134714508 3221221776 3221220240 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 22257 1111 63 0 23054 0
vsize: 92468
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 237261 0 0 0 40453 551 0 0 25 0 1 0 700111576 95686656 22505 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23361 22505 1111 63 0 23298 0
vsize: 93444
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 242036 0 0 0 41441 562 0 0 25 0 1 0 700111576 96587776 22707 4294967295 134512640 134714508 3221221776 3221220304 134542845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23581 22707 1111 63 0 23518 0
vsize: 94324
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 243374 0 0 0 42439 565 0 0 25 0 1 0 700111576 97173504 22852 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23724 22852 1111 63 0 23661 0
vsize: 94896
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 244869 0 0 0 43436 568 0 0 25 0 1 0 700111576 97546240 22960 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23815 22960 1111 63 0 23752 0
vsize: 95260
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 249283 0 0 0 44426 578 0 0 25 0 1 0 700111576 98914304 23275 4294967295 134512640 134714508 3221221776 3221220528 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24149 23275 1111 63 0 24086 0
vsize: 96596
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 250630 0 0 0 45423 582 0 0 25 0 1 0 700111576 99504128 23420 4294967295 134512640 134714508 3221221776 3221220400 134529184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24293 23420 1111 63 0 24230 0
vsize: 97172
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 253109 0 0 0 46417 587 0 0 25 0 1 0 700111576 100294656 23619 4294967295 134512640 134714508 3221221776 3221220288 134542963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24486 23619 1111 63 0 24423 0
vsize: 97944
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 253804 0 0 0 47415 589 0 0 25 0 1 0 700111576 100012032 23563 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24417 23563 1111 63 0 24354 0
vsize: 97668
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 254936 0 0 0 48413 592 0 0 25 0 1 0 700111576 100872192 23773 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24627 23773 1111 63 0 24564 0
vsize: 98508
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 259630 0 0 0 49404 601 0 0 25 0 1 0 700111576 101572608 23944 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24798 23944 1111 63 0 24735 0
vsize: 99192
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 260534 0 0 0 50402 603 0 0 25 0 1 0 700111576 102612992 24198 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25052 24198 1111 63 0 24989 0
vsize: 100208
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 261466 0 0 0 51400 606 0 0 25 0 1 0 700111576 103604224 24438 4294967295 134512640 134714508 3221221776 3221220400 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25294 24438 1111 63 0 25231 0
vsize: 101176
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 266822 0 0 0 52387 618 0 0 25 0 1 0 700111576 104501248 24649 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25513 24649 1111 63 0 25450 0
vsize: 102052
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 267163 0 0 0 53387 619 0 0 25 0 1 0 700111576 105066496 24777 4294967295 134512640 134714508 3221221776 3221220516 134630783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25651 24777 1111 63 0 25588 0
vsize: 102604
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 267808 0 0 0 54385 621 0 0 25 0 1 0 700111576 105308160 24858 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25710 24858 1111 63 0 25647 0
vsize: 102840
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 268631 0 0 0 55383 623 0 0 25 0 1 0 700111576 105308160 24858 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25710 24858 1111 63 0 25647 0
vsize: 102840
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 277651 0 0 0 56362 644 0 0 25 0 1 0 700111576 107483136 25389 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26241 25389 1111 63 0 26178 0
vsize: 104964
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 278164 0 0 0 57361 645 0 0 25 0 1 0 700111576 108220416 25565 4294967295 134512640 134714508 3221221776 3221220240 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26421 25565 1111 63 0 26358 0
vsize: 105684
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 278386 0 0 0 58361 646 0 0 25 0 1 0 700111576 108253184 25577 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26429 25577 1111 63 0 26366 0
vsize: 105716
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 279308 0 0 0 59359 648 0 0 25 0 1 0 700111576 109244416 25812 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26671 25812 1111 63 0 26608 0
vsize: 106684
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 283183 0 0 0 60350 657 0 0 25 0 1 0 700111576 109989888 25988 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26853 25988 1111 63 0 26790 0
vsize: 107412
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 285488 0 0 0 61345 663 0 0 25 0 1 0 700111576 109350912 25846 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26697 25846 1111 63 0 26634 0
vsize: 106788
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 286417 0 0 0 62342 665 0 0 25 0 1 0 700111576 110960640 26228 4294967295 134512640 134714508 3221221776 3221220288 134543707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27090 26228 1111 63 0 27027 0
vsize: 108360
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 287545 0 0 0 63340 667 0 0 25 0 1 0 700111576 110346240 26074 4294967295 134512640 134714508 3221221776 3221220192 134543710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26940 26074 1111 63 0 26877 0
vsize: 107760
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 288911 0 0 0 64337 670 0 0 25 0 1 0 700111576 112214016 26513 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27396 26513 1111 63 0 27333 0
vsize: 109584
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 291339 0 0 0 65332 675 0 0 25 0 1 0 700111576 111386624 26344 4294967295 134512640 134714508 3221221776 3221220256 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27194 26344 1111 63 0 27131 0
vsize: 108776
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 295219 0 0 0 66324 684 0 0 25 0 1 0 700111576 113160192 26758 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27627 26758 1111 63 0 27564 0
vsize: 110508
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 295899 0 0 0 67322 686 0 0 25 0 1 0 700111576 113569792 26869 4294967295 134512640 134714508 3221221776 3221220352 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27727 26869 1111 63 0 27664 0
vsize: 110908
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 297023 0 0 0 68320 688 0 0 25 0 1 0 700111576 112943104 26707 4294967295 134512640 134714508 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27574 26707 1111 63 0 27511 0
vsize: 110296
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 299430 0 0 0 69315 694 0 0 25 0 1 0 700111576 114683904 27144 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27999 27144 1111 63 0 27936 0
vsize: 111996
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 301143 0 0 0 70311 698 0 0 25 0 1 0 700111576 114118656 27011 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27861 27011 1111 63 0 27798 0
vsize: 111444
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 304641 0 0 0 71302 707 0 0 25 0 1 0 700111576 114409472 27083 4294967295 134512640 134714508 3221221776 3221220288 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27932 27083 1111 63 0 27869 0
vsize: 111728
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 307724 0 0 0 72295 714 0 0 25 0 1 0 700111576 116174848 27484 4294967295 134512640 134714508 3221221776 3221220516 134630783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28363 27484 1111 63 0 28300 0
vsize: 113452
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 308333 0 0 0 73293 716 0 0 25 0 1 0 700111576 116604928 27590 4294967295 134512640 134714508 3221221776 3221220284 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28468 27590 1111 63 0 28405 0
vsize: 113872
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 310468 0 0 0 74289 721 0 0 25 0 1 0 700111576 117018624 27696 4294967295 134512640 134714508 3221221776 3221220292 134528706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28569 27696 1111 63 0 28506 0
vsize: 114276
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 310702 0 0 0 75288 722 0 0 25 0 1 0 700111576 117018624 27720 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28569 27720 1111 63 0 28506 0
vsize: 114276
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 311551 0 0 0 76287 723 0 0 25 0 1 0 700111576 118009856 27950 4294967295 134512640 134714508 3221221776 3221220504 134672897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28811 27950 1111 63 0 28748 0
vsize: 115244
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 314952 0 0 0 77279 731 0 0 25 0 1 0 700111576 118460416 28062 4294967295 134512640 134714508 3221221776 3221220304 134523171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28921 28062 1111 63 0 28858 0
vsize: 115684
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 317222 0 0 0 78274 736 0 0 25 0 1 0 700111576 118853632 28150 4294967295 134512640 134714508 3221221776 3221220256 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29017 28150 1111 63 0 28954 0
vsize: 116068
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 317494 0 0 0 79273 737 0 0 25 0 1 0 700111576 119279616 28251 4294967295 134512640 134714508 3221221776 3221220352 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29121 28251 1111 63 0 29058 0
vsize: 116484
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 319421 0 0 0 80269 742 0 0 25 0 1 0 700111576 118710272 28135 4294967295 134512640 134714508 3221221776 3221220156 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28982 28135 1111 63 0 28919 0
vsize: 115928
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 320617 0 0 0 81266 744 0 0 25 0 1 0 700111576 118710272 28135 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28982 28135 1111 63 0 28919 0
vsize: 115928
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 322911 0 0 0 82261 749 0 0 25 0 1 0 700111576 120066048 28466 4294967295 134512640 134714508 3221221776 3221220192 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29313 28466 1111 63 0 29250 0
vsize: 117252
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 323605 0 0 0 83260 751 0 0 25 0 1 0 700111576 120635392 28578 4294967295 134512640 134714508 3221221776 3221220504 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29452 28578 1111 63 0 29389 0
vsize: 117808
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 326671 0 0 0 84254 757 0 0 25 0 1 0 700111576 121085952 28689 4294967295 134512640 134714508 3221221776 3221220512 134630813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29562 28689 1111 63 0 29499 0
vsize: 118248
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 333422 0 0 0 85238 774 0 0 25 0 1 0 700111576 122245120 28974 4294967295 134512640 134714508 3221221776 3221220504 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29845 28974 1111 63 0 29782 0
vsize: 119380
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 333658 0 0 0 86237 774 0 0 25 0 1 0 700111576 122531840 29068 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29915 29068 1111 63 0 29852 0
vsize: 119660
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 334266 0 0 0 87236 776 0 0 25 0 1 0 700111576 122957824 29162 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30019 29162 1111 63 0 29956 0
vsize: 120076
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 335242 0 0 0 88234 778 0 0 25 0 1 0 700111576 123375616 29253 4294967295 134512640 134714508 3221221776 3221220504 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30121 29253 1111 63 0 30058 0
vsize: 120484
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 336262 0 0 0 89232 780 0 0 25 0 1 0 700111576 123682816 29344 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30196 29344 1111 63 0 30133 0
vsize: 120784
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 337477 0 0 0 90230 782 0 0 25 0 1 0 700111576 124080128 29435 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30293 29435 1111 63 0 30230 0
vsize: 121172
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 337598 0 0 0 91230 782 0 0 25 0 1 0 700111576 124448768 29526 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30383 29526 1111 63 0 30320 0
vsize: 121532
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 337950 0 0 0 92229 784 0 0 25 0 1 0 700111576 124858368 29615 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30483 29615 1111 63 0 30420 0
vsize: 121932
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 338289 0 0 0 93228 785 0 0 25 0 1 0 700111576 124432384 29534 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30379 29534 1111 63 0 30316 0
vsize: 121516
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 339050 0 0 0 94226 787 0 0 25 0 1 0 700111576 124432384 29534 4294967295 134512640 134714508 3221221776 3221220304 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30379 29534 1111 63 0 30316 0
vsize: 121516
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 340151 0 0 0 95223 790 0 0 25 0 1 0 700111576 124608512 29548 4294967295 134512640 134714508 3221221776 3221220280 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30422 29548 1111 63 0 30359 0
vsize: 121688
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 341390 0 0 0 96220 793 0 0 25 0 1 0 700111576 124956672 29632 4294967295 134512640 134714508 3221221776 3221220140 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30507 29632 1111 63 0 30444 0
vsize: 122028
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 342626 0 0 0 97218 796 0 0 25 0 1 0 700111576 126427136 30002 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30866 30002 1111 63 0 30803 0
vsize: 123464
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 343865 0 0 0 98215 799 0 0 25 0 1 0 700111576 126754816 30085 4294967295 134512640 134714508 3221221776 3221220384 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30946 30085 1111 63 0 30883 0
vsize: 123784
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 345414 0 0 0 99211 803 0 0 25 0 1 0 700111576 127082496 30170 4294967295 134512640 134714508 3221221776 3221220352 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31026 30170 1111 63 0 30963 0
vsize: 124104
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 345745 0 0 0 100210 804 0 0 25 0 1 0 700111576 127365120 30251 4294967295 134512640 134714508 3221221776 3221220256 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31095 30251 1111 63 0 31032 0
vsize: 124380
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 346211 0 0 0 101209 805 0 0 25 0 1 0 700111576 126939136 30147 4294967295 134512640 134714508 3221221776 3221220304 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30991 30147 1111 63 0 30928 0
vsize: 123964
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 347099 0 0 0 102207 807 0 0 25 0 1 0 700111576 126939136 30147 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30991 30147 1111 63 0 30928 0
vsize: 123964
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 348279 0 0 0 103205 810 0 0 25 0 1 0 700111576 127139840 30196 4294967295 134512640 134714508 3221221776 3221220108 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31040 30196 1111 63 0 30977 0
vsize: 124160
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 349528 0 0 0 104202 812 0 0 25 0 1 0 700111576 129048576 30659 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31506 30659 1111 63 0 31443 0
vsize: 126024
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 350787 0 0 0 105200 815 0 0 25 0 1 0 700111576 129736704 30830 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31674 30830 1111 63 0 31611 0
vsize: 126696
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 351672 0 0 0 106197 818 0 0 25 0 1 0 700111576 128716800 30581 4294967295 134512640 134714508 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31425 30581 1111 63 0 31362 0
vsize: 125700
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 352681 0 0 0 107195 820 0 0 25 0 1 0 700111576 129695744 30771 4294967295 134512640 134714508 3221221776 3221220176 134542753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31664 30771 1111 63 0 31601 0
vsize: 126656
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 353095 0 0 0 108195 821 0 0 25 0 1 0 700111576 130748416 31017 4294967295 134512640 134714508 3221221776 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31921 31017 1111 63 0 31858 0
vsize: 127684
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 353398 0 0 0 109194 822 0 0 25 0 1 0 700111576 131031040 31087 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31990 31087 1111 63 0 31927 0
vsize: 127960
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 353811 0 0 0 110193 822 0 0 25 0 1 0 700111576 130605056 30993 4294967295 134512640 134714508 3221221776 3221220156 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31886 30993 1111 63 0 31823 0
vsize: 127544
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 354595 0 0 0 111191 825 0 0 25 0 1 0 700111576 131592192 31222 4294967295 134512640 134714508 3221221776 3221220176 134542692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32127 31222 1111 63 0 32064 0
vsize: 128508
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 354672 0 0 0 112191 825 0 0 25 0 1 0 700111576 131956736 31291 4294967295 134512640 134714508 3221221776 3221220240 134543102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32216 31291 1111 63 0 32153 0
vsize: 128864
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 355104 0 0 0 113190 826 0 0 25 0 1 0 700111576 132161536 31359 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32266 31359 1111 63 0 32203 0
vsize: 129064
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 355237 0 0 0 114190 827 0 0 25 0 1 0 700111576 132018176 31338 4294967295 134512640 134714508 3221221776 3221220184 134542291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32231 31338 1111 63 0 32168 0
vsize: 128924
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 355648 0 0 0 115189 828 0 0 25 0 1 0 700111576 132587520 31459 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32370 31459 1111 63 0 32307 0
vsize: 129480
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 356314 0 0 0 116187 830 0 0 25 0 1 0 700111576 132870144 31523 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32439 31523 1111 63 0 32376 0
vsize: 129756
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 356988 0 0 0 117185 832 0 0 25 0 1 0 700111576 132018176 31339 4294967295 134512640 134714508 3221221776 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32231 31339 1111 63 0 32168 0
vsize: 128924
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 358097 0 0 0 118183 834 0 0 25 0 1 0 700111576 133296128 31645 4294967295 134512640 134714508 3221221776 3221220256 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32543 31645 1111 63 0 32480 0
vsize: 130172
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) R 27528 7876 7672 0 -1 0 359312 0 0 0 119181 837 0 0 25 0 1 0 700111576 133632000 31707 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32625 31707 1111 63 0 32562 0
vsize: 130500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 27529
Raw data (stat): 27529 (bsolo_lpr_cuts) Z 27528 7876 7672 0 -1 1036 359312 0 0 0 119181 842 0 0 25 0 1 0 700111576 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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): 1191.81
CPU system time (s): 8.42872
CPU usage (%): 100.012
Max. virtual memory (Kb): 130500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####