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-mzzv11.opb
MD5SUM	ec9eb8bc5f0ce888f87dfc271da55db8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-5109
Optimality of the best value was proved	NO
Number of terms in the objective function	773
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	76861
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1999
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	76861
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.05
Number of variables	11247
Total number of constraints	19739
Number of constraints which are clauses	77
Number of constraints which are cardinality constraints (but not clauses)	15744
Number of constraints which are nor clauses,nor cardinality constraints	3918
Minimum length of a constraint	1
Maximum length of a constraint	68
Trace number 28483

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 02:31:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12794 boxname=wulflinc4 idbench=985 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ec9eb8bc5f0ce888f87dfc271da55db8  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mzzv11.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mzzv11.opb
IDLAUNCH: 12794
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        693204 kB
Buffers:         35100 kB
Cached:         285696 kB
SwapCached:        504 kB
Active:          62408 kB
Inactive:       260880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692952 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5948 kB
Slab:            12560 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:51:08 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 12794 7 1200.57 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11247 variables and 13116 constraints.
c After prepocess the problem consists of 10816 variables and 12496 constraints.
c preprocess terminated 533.121 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.92 0.98 0.94 2/54 26469
Raw data (stat): 26469 (runsolver) R 26468 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777066292 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 58147 0 0 0 875 122 0 0 25 0 1 0 777066292 251338752 58071 4294967295 134512640 134714508 3221224592 3221222252 1077271566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61362 58071 1111 63 0 61299 0
vsize: 245448
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 63642 0 0 0 1862 134 0 0 25 0 1 0 777066292 273850368 63566 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66858 63566 1111 63 0 66795 0
vsize: 267432
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 110643 0 0 0 2752 244 0 0 25 0 1 0 777066292 456581120 110561 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 110643 0 0 0 3752 244 0 0 25 0 1 0 777066292 456581120 110561 4294967295 134512640 134714508 3221224592 3221223120 134523184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 110643 0 0 0 4752 244 0 0 25 0 1 0 777066292 456581120 110561 4294967295 134512640 134714508 3221224592 3221223100 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 110643 0 0 0 5752 244 0 0 25 0 1 0 777066292 456581120 110561 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 110643 0 0 0 6752 244 0 0 25 0 1 0 777066292 456581120 110561 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 110643 0 0 0 7753 244 0 0 25 0 1 0 777066292 456581120 110561 4294967295 134512640 134714508 3221224592 3221223008 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 110643 0 0 0 8753 244 0 0 25 0 1 0 777066292 456581120 110561 4294967295 134512640 134714508 3221224592 3221223096 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 112392 0 0 0 9748 249 0 0 25 0 1 0 777066292 456671232 110593 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110593 1111 63 0 111429 0
vsize: 445968
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 112392 0 0 0 10749 249 0 0 25 0 1 0 777066292 456671232 110593 4294967295 134512640 134714508 3221224592 3221223024 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110593 1111 63 0 111429 0
vsize: 445968
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 119087 0 0 0 11734 264 0 0 25 0 1 0 777066292 456671232 110593 4294967295 134512640 134714508 3221224592 3221223008 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110593 1111 63 0 111429 0
vsize: 445968
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 163699 0 0 0 12622 376 0 0 25 0 1 0 777066292 478007296 115770 4294967295 134512640 134714508 3221224592 3221223072 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116701 115770 1111 63 0 116638 0
vsize: 466804
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 171580 0 0 0 13604 394 0 0 25 0 1 0 777066292 474046464 114835 4294967295 134512640 134714508 3221224592 3221223072 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115734 114835 1111 63 0 115671 0
vsize: 462936
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 189073 0 0 0 14564 434 0 0 25 0 1 0 777066292 541908992 131403 4294967295 134512640 134714508 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132302 131403 1111 63 0 132239 0
vsize: 529208
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 15520 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221222984 1077377437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 16520 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 17520 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223156 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 18521 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 19521 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223136 134538791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 20521 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 21521 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223004 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 22521 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223072 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 23522 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223140 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 24522 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223000 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 25522 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 26522 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 27522 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 28522 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 29523 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 30523 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 31523 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 32523 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223216 134529182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 33523 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223156 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 34523 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 35524 478 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 36524 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 37524 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 38524 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 39524 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 40525 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 41525 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 42525 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 43526 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 44526 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+460.046 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 45529 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+470.049 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 46529 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+480.049 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 47529 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+490.057 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 48530 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+500.057 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 49530 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+510.057 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 50531 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223244 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+520.057 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 51531 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+530.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208179 0 0 0 52532 479 0 0 25 0 1 0 777066292 620163072 150508 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+540.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 53531 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+550.074 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 54533 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+560.087 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 55534 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+570.087 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 56534 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222384 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+580.087 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 57534 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222864 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+590.087 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 58535 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222704 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+600.088 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 59535 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+610.088 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 60535 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+620.087 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 61535 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222608 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+630.088 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208204 0 0 0 62535 479 0 0 25 0 1 0 777066292 620163072 150533 4294967295 134512640 134714508 3221224592 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+640.116 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208308 0 0 0 63538 479 0 0 25 0 1 0 777066292 620163072 150637 4294967295 134512640 134714508 3221224592 3221220648 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150637 1111 63 0 151344 0
vsize: 605628
[startup+650.118 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 64538 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220672 1075092582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+660.118 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 65539 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+670.118 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 66539 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220720 1074815176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+680.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 67539 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221632 1074834348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+690.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 68539 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221040 1075119993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+700.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 69539 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+710.12 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 70539 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+720.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 71540 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+730.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 72540 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+740.119 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 73540 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220568 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+750.12 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 74540 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+760.12 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 75540 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+770.12 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 76540 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+780.12 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 77541 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220720 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+790.12 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 78541 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220784 1074961490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+800.121 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 79541 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+810.122 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 80541 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+820.122 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 81542 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221040 1075119993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+830.122 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 82542 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220784 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+840.122 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 83542 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220720 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+850.123 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 84542 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220760 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+860.124 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 85542 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220720 1074815204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+870.123 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 86542 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221280 1076084335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+880.124 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 87543 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220568 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+890.125 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 88543 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220656 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+900.125 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 89543 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+910.126 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 90543 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220784 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+920.126 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 91543 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+930.126 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 92544 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221068 1075088528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+940.126 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 93544 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220720 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+950.128 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 94544 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+960.128 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 95544 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221056 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+970.128 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 96544 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220784 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+980.129 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 97545 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+990.129 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 98545 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 99545 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 100545 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 101545 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220784 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 102546 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221056 1075088581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 103546 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220836 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 104546 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221040 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 105546 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 106546 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220784 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 107547 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220720 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 108547 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220784 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 109547 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221456 1074620107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 110547 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 111547 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220720 1074815290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 112547 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221088 1076048143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 113548 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220784 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 114548 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 115548 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220476 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 116548 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221056 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 117548 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220732 1075116504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 118548 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221220476 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) R 26468 21152 21151 0 -1 0 208311 0 0 0 119549 479 0 0 25 0 1 0 777066292 620163072 150640 4294967295 134512640 134714508 3221224592 3221221432 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 0.99 0.98 0.94 1/54 26469
Raw data (stat): 26469 (bsolo_lpr_cuts) Z 26468 21152 21151 0 -1 1036 208311 0 0 0 119549 507 0 0 25 0 1 0 777066292 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.57
CPU user time (s): 1195.49
CPU system time (s): 5.07323
CPU usage (%): 100.013
Max. virtual memory (Kb): 605628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####