PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb
MD5SUM	d2a2dc4ff7a501b7efb12f8e274e186d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	16640
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1683190350400
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1683190350400
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1269.98
Number of variables	29440
Total number of constraints	6310
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	6270
Minimum length of a constraint	1
Maximum length of a constraint	251
Trace number 25200

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        742172 kB
Buffers:         28260 kB
Cached:         241856 kB
SwapCached:       1000 kB
Active:          87172 kB
Inactive:       185232 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        741892 kB
SwapTotal:     2097892 kB
SwapFree:      2096064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14440 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 13:28:02 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 20100 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 29440 variables and 2777 constraints.
c After prepocess the problem consists of 27502 variables and 3143 constraints.
c preprocess terminated 782.411 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): 1.21 1.07 1.02 2/55 26722
Raw data (stat): 26722 (runsolver) R 26721 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 769970226 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 1.18 1.07 1.02 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 1747 0 0 0 989 5 0 0 25 0 1 0 769970226 19767296 1670 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4826 1670 1111 63 0 4763 0
vsize: 19304
[startup+20.0004 s]
Raw data (loadavg): 1.15 1.06 1.02 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 3021 0 0 0 1986 9 0 0 25 0 1 0 769970226 25022464 2944 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6109 2944 1111 63 0 6046 0
vsize: 24436
[startup+30.0015 s]
Raw data (loadavg): 1.12 1.06 1.02 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 4438 0 0 0 2983 12 0 0 25 0 1 0 769970226 30863360 4361 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7535 4361 1111 63 0 7472 0
vsize: 30140
[startup+40.0023 s]
Raw data (loadavg): 1.11 1.06 1.02 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 6138 0 0 0 3981 14 0 0 25 0 1 0 769970226 37818368 6061 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9233 6061 1111 63 0 9170 0
vsize: 36932
[startup+50.0031 s]
Raw data (loadavg): 1.09 1.06 1.02 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 8241 0 0 0 4977 18 0 0 25 0 1 0 769970226 46460928 8164 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11343 8164 1111 63 0 11280 0
vsize: 45372
[startup+60.0033 s]
Raw data (loadavg): 1.07 1.05 1.02 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 13912 0 0 0 5970 26 0 0 25 0 1 0 769970226 69660672 13835 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17007 13835 1111 63 0 16944 0
vsize: 68028
[startup+70.0032 s]
Raw data (loadavg): 1.06 1.05 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 15955 0 0 0 6965 31 0 0 25 0 1 0 769970226 78098432 15878 4294967295 134512640 134714508 3221221776 3221220052 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19067 15878 1111 63 0 19004 0
vsize: 76268
[startup+80.0039 s]
Raw data (loadavg): 1.05 1.05 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 19800 0 0 0 7954 41 0 0 25 0 1 0 769970226 93814784 19723 4294967295 134512640 134714508 3221221776 3221219816 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22904 19723 1111 63 0 22841 0
vsize: 91616
[startup+90.004 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 28035 0 0 0 8934 60 0 0 25 0 1 0 769970226 127483904 27958 4294967295 134512640 134714508 3221221776 3221218652 1077253827 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31124 27958 1111 63 0 31061 0
vsize: 124496
[startup+100.005 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 40888 0 0 0 9901 93 0 0 25 0 1 0 769970226 164057088 39049 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40053 39049 1111 63 0 39990 0
vsize: 160212
[startup+110.006 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 40888 0 0 0 10900 93 0 0 25 0 1 0 769970226 164057088 39049 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40053 39049 1111 63 0 39990 0
vsize: 160212
[startup+120.006 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 41456 0 0 0 11899 95 0 0 25 0 1 0 769970226 165941248 39509 4294967295 134512640 134714508 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40513 39509 1111 63 0 40450 0
vsize: 162052
[startup+130.007 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 41456 0 0 0 12899 95 0 0 25 0 1 0 769970226 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40513 39509 1111 63 0 40450 0
vsize: 162052
[startup+140.007 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 41456 0 0 0 13899 95 0 0 25 0 1 0 769970226 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40513 39509 1111 63 0 40450 0
vsize: 162052
[startup+150.008 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 41456 0 0 0 14900 95 0 0 25 0 1 0 769970226 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40513 39509 1111 63 0 40450 0
vsize: 162052
[startup+160.008 s]
Raw data (loadavg): 1.01 1.03 1.01 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 41456 0 0 0 15900 95 0 0 25 0 1 0 769970226 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40513 39509 1111 63 0 40450 0
vsize: 162052
[startup+170.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 41456 0 0 0 16900 95 0 0 25 0 1 0 769970226 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40513 39509 1111 63 0 40450 0
vsize: 162052
[startup+180.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 17887 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+190.01 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 18887 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+200.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 19887 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+210.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 20888 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+220.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 21888 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+230.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 22888 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220376 134557227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+240.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 23888 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+250.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 24888 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+260.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 25889 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+270.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 26889 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+280.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 47893 0 0 0 27889 108 0 0 25 0 1 0 769970226 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46896 45892 1111 63 0 46833 0
vsize: 187584
[startup+290.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 28879 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220424 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+300.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 29879 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+310.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 30880 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+320.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 31880 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220448 134606848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+330.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 32880 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+340.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 33880 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+350.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 34880 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+360.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 35881 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+370.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 36881 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220488 134586765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+380.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 37881 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+390.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 38881 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+400.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 39881 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+410.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 40881 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+420.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 41882 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 42882 118 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 43882 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 44882 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 45882 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 46882 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 47882 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 48882 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220448 134606848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 49883 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 50883 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 51883 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 52883 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 53883 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 54883 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 55884 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 56884 119 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 57884 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 58884 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 59884 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 60885 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 61885 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 62885 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 63885 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 64885 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 65885 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 66885 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 67886 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 68886 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 69886 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 70886 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 71886 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220528 134630802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 72887 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 73887 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 74887 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220440 134606820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 75887 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 76887 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52433 0 0 0 77887 120 0 0 25 0 1 0 769970226 210456576 50377 4294967295 134512640 134714508 3221221776 3221220556 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50377 1111 63 0 51318 0
vsize: 205524
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52456 0 0 0 78886 121 0 0 25 0 1 0 769970226 210456576 50400 4294967295 134512640 134714508 3221221776 3221219864 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51381 50400 1111 63 0 51318 0
vsize: 205524
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 52865 0 0 0 79885 123 0 0 25 0 1 0 769970226 212127744 50809 4294967295 134512640 134714508 3221221776 3221219232 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51789 50809 1111 63 0 51726 0
vsize: 207156
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 53005 0 0 0 80884 124 0 0 25 0 1 0 769970226 212701184 50949 4294967295 134512640 134714508 3221221776 3221218272 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51929 50949 1111 63 0 51866 0
vsize: 207716
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 56721 0 0 0 81876 132 0 0 25 0 1 0 769970226 218300416 52420 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53296 52420 1111 63 0 53233 0
vsize: 213184
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 56861 0 0 0 82876 132 0 0 25 0 1 0 769970226 218886144 52560 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53439 52560 1111 63 0 53376 0
vsize: 213756
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 56865 0 0 0 83876 132 0 0 25 0 1 0 769970226 218886144 52564 4294967295 134512640 134714508 3221221776 3221217680 1074875065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53439 52564 1111 63 0 53376 0
vsize: 213756
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 56865 0 0 0 84876 132 0 0 25 0 1 0 769970226 218886144 52564 4294967295 134512640 134714508 3221221776 3221217680 1074875093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53439 52564 1111 63 0 53376 0
vsize: 213756
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 56867 0 0 0 85876 132 0 0 25 0 1 0 769970226 218886144 52566 4294967295 134512640 134714508 3221221776 3221217680 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53439 52566 1111 63 0 53376 0
vsize: 213756
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 56867 0 0 0 86877 132 0 0 25 0 1 0 769970226 218886144 52566 4294967295 134512640 134714508 3221221776 3221217680 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53439 52566 1111 63 0 53376 0
vsize: 213756
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57103 0 0 0 87875 133 0 0 25 0 1 0 769970226 219865088 52802 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53678 52802 1111 63 0 53615 0
vsize: 214712
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57106 0 0 0 88875 133 0 0 25 0 1 0 769970226 219865088 52805 4294967295 134512640 134714508 3221221776 3221217636 1074786528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53678 52805 1111 63 0 53615 0
vsize: 214712
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57106 0 0 0 89876 133 0 0 25 0 1 0 769970226 219865088 52805 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53678 52805 1111 63 0 53615 0
vsize: 214712
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57106 0 0 0 90876 133 0 0 25 0 1 0 769970226 219865088 52805 4294967295 134512640 134714508 3221221776 3221217740 1074873606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53678 52805 1111 63 0 53615 0
vsize: 214712
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57106 0 0 0 91876 133 0 0 25 0 1 0 769970226 219865088 52805 4294967295 134512640 134714508 3221221776 3221217740 1074873543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53678 52805 1111 63 0 53615 0
vsize: 214712
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57106 0 0 0 92876 133 0 0 25 0 1 0 769970226 219865088 52805 4294967295 134512640 134714508 3221221776 3221217696 1075965299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53678 52805 1111 63 0 53615 0
vsize: 214712
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57106 0 0 0 93876 133 0 0 25 0 1 0 769970226 219865088 52805 4294967295 134512640 134714508 3221221776 3221217680 1074875093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53678 52805 1111 63 0 53615 0
vsize: 214712
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57106 0 0 0 94877 133 0 0 25 0 1 0 769970226 219865088 52805 4294967295 134512640 134714508 3221221776 3221217680 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53678 52805 1111 63 0 53615 0
vsize: 214712
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57181 0 0 0 95877 133 0 0 25 0 1 0 769970226 220274688 52880 4294967295 134512640 134714508 3221221776 3221217680 1074875034 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53778 52880 1111 63 0 53715 0
vsize: 215112
[startup+970.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57198 0 0 0 96877 133 0 0 25 0 1 0 769970226 220274688 52897 4294967295 134512640 134714508 3221221776 3221217740 1074873336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53778 52897 1111 63 0 53715 0
vsize: 215112
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57430 0 0 0 97876 134 0 0 25 0 1 0 769970226 221351936 53129 4294967295 134512640 134714508 3221221776 3221217740 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53129 1111 63 0 53978 0
vsize: 216164
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57435 0 0 0 98877 134 0 0 25 0 1 0 769970226 221351936 53134 4294967295 134512640 134714508 3221221776 3221217680 1074875003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53134 1111 63 0 53978 0
vsize: 216164
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57436 0 0 0 99877 134 0 0 25 0 1 0 769970226 221351936 53135 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53135 1111 63 0 53978 0
vsize: 216164
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57436 0 0 0 100877 134 0 0 25 0 1 0 769970226 221351936 53135 4294967295 134512640 134714508 3221221776 3221218224 1075120000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53135 1111 63 0 53978 0
vsize: 216164
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57436 0 0 0 101877 134 0 0 25 0 1 0 769970226 221351936 53135 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53135 1111 63 0 53978 0
vsize: 216164
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57436 0 0 0 102877 134 0 0 25 0 1 0 769970226 221351936 53135 4294967295 134512640 134714508 3221221776 3221217680 1074875093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53135 1111 63 0 53978 0
vsize: 216164
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 103877 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217740 1074873554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 104877 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217680 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 105877 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 106877 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217792 1074877649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 107877 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217924 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 108878 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 109878 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221218288 1074886763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 110878 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217688 1075964771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 111878 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 112878 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221218736 1075859966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 113878 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217680 1074874996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57437 0 0 0 114878 135 0 0 25 0 1 0 769970226 221351936 53136 4294967295 134512640 134714508 3221221776 3221217740 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53136 1111 63 0 53978 0
vsize: 216164
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57438 0 0 0 115879 135 0 0 25 0 1 0 769970226 221351936 53137 4294967295 134512640 134714508 3221221776 3221217680 1074875093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53137 1111 63 0 53978 0
vsize: 216164
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57439 0 0 0 116879 135 0 0 25 0 1 0 769970226 221351936 53138 4294967295 134512640 134714508 3221221776 3221217680 1074875065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53138 1111 63 0 53978 0
vsize: 216164
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57439 0 0 0 117879 135 0 0 25 0 1 0 769970226 221351936 53138 4294967295 134512640 134714508 3221221776 3221217680 1074875025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53138 1111 63 0 53978 0
vsize: 216164
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57439 0 0 0 118879 135 0 0 25 0 1 0 769970226 221351936 53138 4294967295 134512640 134714508 3221221776 3221218736 1075859973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53138 1111 63 0 53978 0
vsize: 216164
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) R 26721 7876 7672 0 -1 0 57439 0 0 0 119879 135 0 0 25 0 1 0 769970226 221351936 53138 4294967295 134512640 134714508 3221221776 3221217740 1074873585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54041 53138 1111 63 0 53978 0
vsize: 216164
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 26722
Raw data (stat): 26722 (bsolo_lpr_cuts) Z 26721 7876 7672 0 -1 1036 57439 0 0 0 119879 145 0 0 25 0 1 0 769970226 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.16
CPU time (s): 1200.25
CPU user time (s): 1198.8
CPU system time (s): 1.45578
CPU usage (%): 100.008
Max. virtual memory (Kb): 216164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####