PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM	bc275113592d0f0914bb7f3c346a4153
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7100
Optimality of the best value was proved	NO
Number of terms in the objective function	714
Biggest coefficient in the objective function	559
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	66891
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1117
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	66891
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	12596
Total number of constraints	22177
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	17162
Number of constraints which are nor clauses,nor cardinality constraints	5011
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 28481

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 02:28:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12807 boxname=wulflinc1 idbench=986 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bc275113592d0f0914bb7f3c346a4153  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mzzv42z.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mzzv42z.opb
IDLAUNCH: 12807
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        901408 kB
Buffers:          2380 kB
Cached:         100628 kB
SwapCached:       3956 kB
Active:          18040 kB
Inactive:        91840 kB
HighTotal:      131008 kB
HighFree:        44156 kB
LowTotal:       903652 kB
LowFree:        857252 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            17584 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:48:11 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 12807 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12596 variables and 15189 constraints.
c After prepocess the problem consists of 11943 variables and 14113 constraints.
c preprocess terminated 358.966 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
Raw data (loadavg): 0.83 0.94 0.90 2/55 14997
Raw data (stat): 14997 (runsolver) R 14996 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 720200490 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.86 0.94 0.90 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 68281 0 0 0 853 144 0 0 25 0 1 0 720200490 292847616 68205 4294967295 134512640 134714508 3221224576 3221221040 1077359372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71496 68205 1111 63 0 71433 0
vsize: 285984
[startup+20.0011 s]
Raw data (loadavg): 0.88 0.94 0.90 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 74202 0 0 0 1842 156 0 0 25 0 1 0 720200490 317132800 74126 4294967295 134512640 134714508 3221224576 3221222880 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77425 74126 1111 63 0 77362 0
vsize: 309700
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 109580 0 0 0 2760 238 0 0 25 0 1 0 720200490 452308992 109490 4294967295 134512640 134714508 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110427 109490 1111 63 0 110364 0
vsize: 441708
[startup+40.0017 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 110798 0 0 0 3757 241 0 0 25 0 1 0 720200490 457146368 110703 4294967295 134512640 134714508 3221224576 3221223200 134529311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111608 110703 1111 63 0 111545 0
vsize: 446432
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 117798 0 0 0 4740 259 0 0 25 0 1 0 720200490 482402304 116862 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117774 116862 1111 63 0 117711 0
vsize: 471096
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 117798 0 0 0 5740 259 0 0 25 0 1 0 720200490 482353152 116857 4294967295 134512640 134714508 3221224576 3221222908 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 119144 0 0 0 6737 262 0 0 25 0 1 0 720200490 482353152 116857 4294967295 134512640 134714508 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+80.0038 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 119144 0 0 0 7737 262 0 0 25 0 1 0 720200490 482353152 116857 4294967295 134512640 134714508 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+90.0046 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 143532 0 0 0 8678 321 0 0 25 0 1 0 720200490 499183616 120934 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121871 120934 1111 63 0 121808 0
vsize: 487484
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 151911 0 0 0 9660 340 0 0 25 0 1 0 720200490 497975296 120671 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 156409 0 0 0 10648 351 0 0 25 0 1 0 720200490 497975296 120671 4294967295 134512640 134714508 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 156409 0 0 0 11648 351 0 0 25 0 1 0 720200490 497975296 120671 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 156409 0 0 0 12648 351 0 0 25 0 1 0 720200490 497975296 120671 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 156409 0 0 0 13648 352 0 0 25 0 1 0 720200490 497975296 120671 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 156409 0 0 0 14648 352 0 0 25 0 1 0 720200490 497975296 120671 4294967295 134512640 134714508 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 156409 0 0 0 15648 352 0 0 25 0 1 0 720200490 497975296 120671 4294967295 134512640 134714508 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 156512 0 0 0 16648 352 0 0 25 0 1 0 720200490 497975296 120671 4294967295 134512640 134714508 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 167556 0 0 0 17623 377 0 0 25 0 1 0 720200490 538603520 130590 4294967295 134512640 134714508 3221224576 3221223020 134542656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 167556 0 0 0 18623 378 0 0 25 0 1 0 720200490 538603520 130590 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 169308 0 0 0 19619 382 0 0 25 0 1 0 720200490 538603520 130590 4294967295 134512640 134714508 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 169308 0 0 0 20618 382 0 0 25 0 1 0 720200490 538603520 130590 4294967295 134512640 134714508 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 21611 390 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 22611 390 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 23611 391 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223056 134536627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 24611 391 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 25610 391 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223224 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 26610 391 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 27610 392 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223248 134627217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 28610 392 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 29610 392 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 30610 392 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 31610 393 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223248 134627241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 32610 393 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 33610 393 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172046 0 0 0 34610 393 0 0 25 0 1 0 720200490 549949440 133328 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 35610 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 36610 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222184 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 37610 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 38610 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 39610 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222784 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 40610 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 41611 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 42611 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 43611 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222752 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 44611 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172071 0 0 0 45611 393 0 0 25 0 1 0 720200490 549949440 133353 4294967295 134512640 134714508 3221224576 3221222688 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 46611 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221152 1075967907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 47611 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 48613 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 49613 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221264 1076084128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 50613 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+520.13 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 51624 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221152 1075967425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+530.13 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 52624 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+540.131 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 53624 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+550.131 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 54624 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221416 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+560.13 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 55624 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221264 1076083788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+570.13 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 56625 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221152 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+580.13 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 57625 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221568 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+590.136 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 58625 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+600.137 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 59626 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220768 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+610.137 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 60626 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221096 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+620.137 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 61626 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221024 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+630.146 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 62627 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+640.146 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 63627 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221152 1075967695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+650.149 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 64628 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+660.152 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 65628 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+670.153 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 66628 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220828 1076111491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+680.152 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 67629 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220364 1074787518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+690.152 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 68629 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+700.153 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 69629 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220656 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+710.153 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 70629 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221152 1075967705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+720.153 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 71629 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221264 1076084292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+730.178 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 72632 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221028 1075863641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+740.178 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 73632 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+750.177 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 74632 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+760.177 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 75633 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221416 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+770.178 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 76633 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+780.178 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 77633 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221152 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+790.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 78633 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220828 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+800.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 79633 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+810.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 80634 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+820.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 81634 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+830.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 82634 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220832 1075113625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+840.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 83634 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221424 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+850.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 84634 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220736 1075088564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+860.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 85634 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220656 1074794562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+870.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 86635 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220640 1074970979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+880.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 87635 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220460 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+890.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 88635 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+900.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 89635 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+910.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 90635 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220716 1075116467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+920.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 91636 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+930.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 92636 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221616 1074835532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+940.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172178 0 0 0 93636 393 0 0 25 0 1 0 720200490 549949440 133460 4294967295 134512640 134714508 3221224576 3221221568 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+950.182 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 94613 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+960.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 95613 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+970.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 96614 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220700 1075563855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+980.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 97614 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+990.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 98614 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1000.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 99614 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220768 1074961161 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1010.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 100614 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221221560 1075066457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1020.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 101615 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220460 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1030.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 102615 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220704 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1040.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 103615 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1050.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 104615 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1060.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 105615 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1070.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 106615 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1080.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 107616 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1090.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 108616 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220960 1075602639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1100.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 109616 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1110.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 110616 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220768 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1120.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 111617 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220704 1076111660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1130.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 112617 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221221536 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1140.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 113617 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1150.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 114617 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1160.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 115617 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1170.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 116617 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221221264 1076083512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1180.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 117618 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221221028 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1190.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 118618 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220716 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1200.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) R 14996 8378 8377 0 -1 0 172206 0 1 0 119618 393 0 0 25 0 1 0 720200490 549949440 133489 4294967295 134512640 134714508 3221224576 3221220704 1074815299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.43 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 14997
Raw data (stat): 14997 (bsolo_lpr_cuts) Z 14996 8378 8377 0 -1 1036 172206 0 1 0 119618 418 0 0 25 0 1 0 720200490 0 0 4294967295 0 0 0 0 0 0 0 7 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.43
CPU time (s): 1200.37
CPU user time (s): 1196.19
CPU system time (s): 4.18536
CPU usage (%): 99.9947
Max. virtual memory (Kb): 537060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####