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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb
MD5SUM	43fed3c1d7a16e4c08eafe49f6a33c8e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29697461525571
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29697461525571
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43278
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 26360

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 15:16:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14016 boxname=wulflinc20 idbench=1079 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  43fed3c1d7a16e4c08eafe49f6a33c8e  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-n3701.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-n3701.opb
IDLAUNCH: 14016
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        449712 kB
Buffers:          5960 kB
Cached:         551896 kB
SwapCached:        696 kB
Active:          46540 kB
Inactive:       513880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        449460 kB
SwapTotal:     2097892 kB
SwapFree:      2096784 kB
Dirty:          224396 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            18844 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:36:14 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 14016 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.64 1.18 1.08 2/54 27112
Raw data (stat): 27112 (runsolver) R 27111 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831245726 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.54 1.17 1.08 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 1302 0 0 0 993 4 0 0 25 0 1 0 831245726 15511552 1226 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1226 1111 63 0 3724 0
vsize: 15148
[startup+20.0001 s]
Raw data (loadavg): 1.45 1.17 1.08 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 1413 0 0 0 1993 4 0 0 25 0 1 0 831245726 16084992 1337 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 1337 1111 63 0 3864 0
vsize: 15708
[startup+30.0008 s]
Raw data (loadavg): 1.38 1.16 1.08 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 1522 0 0 0 2993 4 0 0 25 0 1 0 831245726 16527360 1446 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4035 1446 1111 63 0 3972 0
vsize: 16140
[startup+40.001 s]
Raw data (loadavg): 1.32 1.16 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 1633 0 0 0 3992 5 0 0 25 0 1 0 831245726 16982016 1557 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 1557 1111 63 0 4083 0
vsize: 16584
[startup+50.0013 s]
Raw data (loadavg): 1.27 1.15 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 1745 0 0 0 4992 5 0 0 25 0 1 0 831245726 17412096 1669 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1669 1111 63 0 4188 0
vsize: 17004
[startup+60.001 s]
Raw data (loadavg): 1.23 1.15 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 1855 0 0 0 5992 5 0 0 25 0 1 0 831245726 17862656 1779 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1779 1111 63 0 4298 0
vsize: 17444
[startup+70.0007 s]
Raw data (loadavg): 1.20 1.14 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 1965 0 0 0 6992 6 0 0 25 0 1 0 831245726 18313216 1889 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4471 1889 1111 63 0 4408 0
vsize: 17884
[startup+80.0007 s]
Raw data (loadavg): 1.16 1.14 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2075 0 0 0 7992 6 0 0 25 0 1 0 831245726 18763776 1999 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 1999 1111 63 0 4518 0
vsize: 18324
[startup+90.0002 s]
Raw data (loadavg): 1.14 1.13 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2189 0 0 0 8992 6 0 0 25 0 1 0 831245726 19197952 2113 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2113 1111 63 0 4624 0
vsize: 18748
[startup+100 s]
Raw data (loadavg): 1.12 1.13 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2307 0 0 0 9991 6 0 0 25 0 1 0 831245726 19656704 2231 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2231 1111 63 0 4736 0
vsize: 19196
[startup+110.001 s]
Raw data (loadavg): 1.10 1.12 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2417 0 0 0 10991 7 0 0 25 0 1 0 831245726 20103168 2341 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2341 1111 63 0 4845 0
vsize: 19632
[startup+120 s]
Raw data (loadavg): 1.08 1.12 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2527 0 0 0 11991 7 0 0 25 0 1 0 831245726 20557824 2451 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2451 1111 63 0 4956 0
vsize: 20076
[startup+130 s]
Raw data (loadavg): 1.07 1.11 1.07 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2643 0 0 0 12992 7 0 0 25 0 1 0 831245726 21004288 2567 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 2567 1111 63 0 5065 0
vsize: 20512
[startup+140 s]
Raw data (loadavg): 1.06 1.11 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2754 0 0 0 13991 7 0 0 25 0 1 0 831245726 21577728 2678 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5268 2678 1111 63 0 5205 0
vsize: 21072
[startup+150.001 s]
Raw data (loadavg): 1.05 1.10 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2863 0 0 0 14991 7 0 0 25 0 1 0 831245726 22020096 2787 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5376 2787 1111 63 0 5313 0
vsize: 21504
[startup+160.016 s]
Raw data (loadavg): 1.04 1.10 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 2974 0 0 0 15993 7 0 0 25 0 1 0 831245726 22474752 2898 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 2898 1111 63 0 5424 0
vsize: 21948
[startup+170.039 s]
Raw data (loadavg): 1.03 1.10 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3083 0 0 0 16995 8 0 0 25 0 1 0 831245726 22921216 3007 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5596 3007 1111 63 0 5533 0
vsize: 22384
[startup+180.04 s]
Raw data (loadavg): 1.03 1.09 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3207 0 0 0 17995 8 0 0 25 0 1 0 831245726 23367680 3131 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 3131 1111 63 0 5642 0
vsize: 22820
[startup+190.043 s]
Raw data (loadavg): 1.02 1.09 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3316 0 0 0 18996 8 0 0 25 0 1 0 831245726 23810048 3240 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 3240 1111 63 0 5750 0
vsize: 23252
[startup+200.043 s]
Raw data (loadavg): 1.02 1.09 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3427 0 0 0 19996 8 0 0 25 0 1 0 831245726 24264704 3351 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5924 3351 1111 63 0 5861 0
vsize: 23696
[startup+210.044 s]
Raw data (loadavg): 1.02 1.08 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3544 0 0 0 20996 8 0 0 25 0 1 0 831245726 24707072 3468 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6032 3468 1111 63 0 5969 0
vsize: 24128
[startup+220.063 s]
Raw data (loadavg): 1.01 1.08 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3656 0 0 0 21998 8 0 0 25 0 1 0 831245726 25161728 3580 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6143 3580 1111 63 0 6080 0
vsize: 24572
[startup+230.064 s]
Raw data (loadavg): 1.01 1.08 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3765 0 0 0 22998 8 0 0 25 0 1 0 831245726 25608192 3689 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6252 3689 1111 63 0 6189 0
vsize: 25008
[startup+240.063 s]
Raw data (loadavg): 1.01 1.07 1.06 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3882 0 0 0 23998 9 0 0 25 0 1 0 831245726 26210304 3806 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6399 3806 1111 63 0 6336 0
vsize: 25596
[startup+250.064 s]
Raw data (loadavg): 1.01 1.07 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 3993 0 0 0 24997 9 0 0 25 0 1 0 831245726 26656768 3917 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 3917 1111 63 0 6445 0
vsize: 26032
[startup+260.064 s]
Raw data (loadavg): 1.01 1.07 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 4104 0 0 0 25997 10 0 0 25 0 1 0 831245726 27107328 4028 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6618 4028 1111 63 0 6555 0
vsize: 26472
[startup+270.063 s]
Raw data (loadavg): 1.00 1.06 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 4220 0 0 0 26997 10 0 0 25 0 1 0 831245726 27557888 4144 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6728 4144 1111 63 0 6665 0
vsize: 26912
[startup+280.064 s]
Raw data (loadavg): 1.00 1.06 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 4338 0 0 0 27997 10 0 0 25 0 1 0 831245726 28008448 4262 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 4262 1111 63 0 6775 0
vsize: 27352
[startup+290.064 s]
Raw data (loadavg): 1.00 1.06 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 4447 0 0 0 28997 10 0 0 25 0 1 0 831245726 28454912 4371 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6947 4371 1111 63 0 6884 0
vsize: 27788
[startup+300.064 s]
Raw data (loadavg): 1.00 1.06 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 4559 0 0 0 29997 11 0 0 25 0 1 0 831245726 28880896 4483 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7051 4483 1111 63 0 6988 0
vsize: 28204
[startup+310.064 s]
Raw data (loadavg): 1.00 1.05 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 4675 0 0 0 30997 11 0 0 25 0 1 0 831245726 29323264 4599 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7159 4599 1111 63 0 7096 0
vsize: 28636
[startup+320.064 s]
Raw data (loadavg): 1.00 1.05 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 4786 0 0 0 31997 11 0 0 25 0 1 0 831245726 29777920 4710 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7270 4710 1111 63 0 7207 0
vsize: 29080
[startup+330.065 s]
Raw data (loadavg): 1.00 1.05 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 4896 0 0 0 32997 11 0 0 25 0 1 0 831245726 30224384 4820 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7379 4820 1111 63 0 7316 0
vsize: 29516
[startup+340.065 s]
Raw data (loadavg): 1.00 1.05 1.05 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5013 0 0 0 33997 11 0 0 25 0 1 0 831245726 30826496 4937 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4937 1111 63 0 7463 0
vsize: 30104
[startup+350.065 s]
Raw data (loadavg): 1.00 1.05 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5140 0 0 0 34997 12 0 0 25 0 1 0 831245726 31309824 5064 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5064 1111 63 0 7581 0
vsize: 30576
[startup+360.065 s]
Raw data (loadavg): 1.00 1.04 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5251 0 0 0 35997 12 0 0 25 0 1 0 831245726 31760384 5175 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5175 1111 63 0 7691 0
vsize: 31016
[startup+370.065 s]
Raw data (loadavg): 1.00 1.04 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5363 0 0 0 36997 12 0 0 25 0 1 0 831245726 32210944 5287 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5287 1111 63 0 7801 0
vsize: 31456
[startup+380.065 s]
Raw data (loadavg): 1.00 1.04 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5479 0 0 0 37997 12 0 0 25 0 1 0 831245726 32661504 5403 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5403 1111 63 0 7911 0
vsize: 31896
[startup+390.065 s]
Raw data (loadavg): 1.00 1.04 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5596 0 0 0 38996 13 0 0 25 0 1 0 831245726 33263616 5520 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5520 1111 63 0 8058 0
vsize: 32484
[startup+400.065 s]
Raw data (loadavg): 1.00 1.04 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5706 0 0 0 39997 13 0 0 25 0 1 0 831245726 33710080 5630 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5630 1111 63 0 8167 0
vsize: 32920
[startup+410.065 s]
Raw data (loadavg): 1.00 1.04 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5818 0 0 0 40996 13 0 0 25 0 1 0 831245726 34160640 5742 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5742 1111 63 0 8277 0
vsize: 33360
[startup+420.064 s]
Raw data (loadavg): 1.00 1.03 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 5934 0 0 0 41996 13 0 0 25 0 1 0 831245726 34611200 5858 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5858 1111 63 0 8387 0
vsize: 33800
[startup+430.064 s]
Raw data (loadavg): 1.00 1.03 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6052 0 0 0 42996 14 0 0 25 0 1 0 831245726 35061760 5976 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5976 1111 63 0 8497 0
vsize: 34240
[startup+440.064 s]
Raw data (loadavg): 1.00 1.03 1.04 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6162 0 0 0 43996 14 0 0 25 0 1 0 831245726 35508224 6086 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6086 1111 63 0 8606 0
vsize: 34676
[startup+450.064 s]
Raw data (loadavg): 1.00 1.03 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6280 0 0 0 44996 14 0 0 25 0 1 0 831245726 35958784 6204 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6204 1111 63 0 8716 0
vsize: 35116
[startup+460.065 s]
Raw data (loadavg): 1.00 1.03 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6391 0 0 0 45996 14 0 0 25 0 1 0 831245726 36409344 6315 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6315 1111 63 0 8826 0
vsize: 35556
[startup+470.065 s]
Raw data (loadavg): 1.00 1.03 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6508 0 0 0 46996 15 0 0 25 0 1 0 831245726 36859904 6432 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6432 1111 63 0 8936 0
vsize: 35996
[startup+480.066 s]
Raw data (loadavg): 1.00 1.03 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6625 0 0 0 47996 15 0 0 25 0 1 0 831245726 37453824 6549 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9144 6549 1111 63 0 9081 0
vsize: 36576
[startup+490.065 s]
Raw data (loadavg): 1.00 1.02 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6736 0 0 0 48996 15 0 0 25 0 1 0 831245726 37908480 6660 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9255 6660 1111 63 0 9192 0
vsize: 37020
[startup+500.065 s]
Raw data (loadavg): 1.00 1.02 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6852 0 0 0 49996 15 0 0 25 0 1 0 831245726 38354944 6776 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 6776 1111 63 0 9301 0
vsize: 37456
[startup+510.065 s]
Raw data (loadavg): 1.00 1.02 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 6964 0 0 0 50996 15 0 0 25 0 1 0 831245726 38809600 6888 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9475 6888 1111 63 0 9412 0
vsize: 37900
[startup+520.065 s]
Raw data (loadavg): 1.00 1.02 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 7080 0 0 0 51996 16 0 0 25 0 1 0 831245726 39256064 7004 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 7004 1111 63 0 9521 0
vsize: 38336
[startup+530.066 s]
Raw data (loadavg): 1.00 1.02 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 7199 0 0 0 52995 16 0 0 25 0 1 0 831245726 39710720 7123 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7123 1111 63 0 9632 0
vsize: 38780
[startup+540.065 s]
Raw data (loadavg): 1.00 1.02 1.03 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 7315 0 0 0 53995 16 0 0 25 0 1 0 831245726 40153088 7239 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9803 7239 1111 63 0 9740 0
vsize: 39212
[startup+550.065 s]
Raw data (loadavg): 1.00 1.02 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 7433 0 0 0 54995 17 0 0 25 0 1 0 831245726 40755200 7357 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9950 7357 1111 63 0 9887 0
vsize: 39800
[startup+560.066 s]
Raw data (loadavg): 1.00 1.02 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 7543 0 0 0 55995 17 0 0 25 0 1 0 831245726 41205760 7467 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7467 1111 63 0 9997 0
vsize: 40240
[startup+570.065 s]
Raw data (loadavg): 1.00 1.02 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 7662 0 0 0 56996 17 0 0 25 0 1 0 831245726 41656320 7586 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7586 1111 63 0 10107 0
vsize: 40680
[startup+580.065 s]
Raw data (loadavg): 1.00 1.02 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 7778 0 0 0 57995 17 0 0 25 0 1 0 831245726 42102784 7702 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 7702 1111 63 0 10216 0
vsize: 41116
[startup+590.065 s]
Raw data (loadavg): 1.00 1.01 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 7890 0 0 0 58995 17 0 0 25 0 1 0 831245726 42553344 7814 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 7814 1111 63 0 10326 0
vsize: 41556
[startup+600.065 s]
Raw data (loadavg): 1.00 1.01 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8007 0 0 0 59995 18 0 0 25 0 1 0 831245726 43003904 7931 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10499 7931 1111 63 0 10436 0
vsize: 41996
[startup+610.065 s]
Raw data (loadavg): 1.00 1.01 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8124 0 0 0 60995 18 0 0 25 0 1 0 831245726 43454464 8048 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10609 8048 1111 63 0 10546 0
vsize: 42436
[startup+620.065 s]
Raw data (loadavg): 1.00 1.01 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8242 0 0 0 61995 18 0 0 25 0 1 0 831245726 44048384 8166 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8166 1111 63 0 10691 0
vsize: 43016
[startup+630.065 s]
Raw data (loadavg): 1.00 1.01 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8358 0 0 0 62996 18 0 0 25 0 1 0 831245726 44470272 8282 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8282 1111 63 0 10794 0
vsize: 43428
[startup+640.066 s]
Raw data (loadavg): 1.00 1.01 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8477 0 0 0 63995 18 0 0 25 0 1 0 831245726 44920832 8401 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8401 1111 63 0 10904 0
vsize: 43868
[startup+650.066 s]
Raw data (loadavg): 1.00 1.01 1.02 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8593 0 0 0 64996 18 0 0 25 0 1 0 831245726 45371392 8517 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11077 8517 1111 63 0 11014 0
vsize: 44308
[startup+660.066 s]
Raw data (loadavg): 1.00 1.01 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8710 0 0 0 65995 19 0 0 25 0 1 0 831245726 45973504 8634 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8634 1111 63 0 11161 0
vsize: 44896
[startup+670.065 s]
Raw data (loadavg): 1.00 1.01 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8827 0 0 0 66995 19 0 0 25 0 1 0 831245726 46419968 8751 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8751 1111 63 0 11270 0
vsize: 45332
[startup+680.066 s]
Raw data (loadavg): 1.00 1.01 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 8944 0 0 0 67995 19 0 0 25 0 1 0 831245726 46874624 8868 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8868 1111 63 0 11381 0
vsize: 45776
[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 9080 0 0 0 68995 20 0 0 25 0 1 0 831245726 47579136 9004 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9004 1111 63 0 11553 0
vsize: 46464
[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 9198 0 0 0 69995 20 0 0 25 0 1 0 831245726 47996928 9122 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11718 9122 1111 63 0 11655 0
vsize: 46872
[startup+710.066 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 9315 0 0 0 70995 20 0 0 25 0 1 0 831245726 48439296 9239 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11826 9239 1111 63 0 11763 0
vsize: 47304
[startup+720.065 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 9432 0 0 0 71994 21 0 0 25 0 1 0 831245726 49041408 9356 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9356 1111 63 0 11910 0
vsize: 47892
[startup+730.065 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 9549 0 0 0 72994 21 0 0 25 0 1 0 831245726 49491968 9473 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9473 1111 63 0 12020 0
vsize: 48332
[startup+740.065 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 9668 0 0 0 73994 21 0 0 25 0 1 0 831245726 49942528 9592 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9592 1111 63 0 12130 0
vsize: 48772
[startup+750.065 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 9785 0 0 0 74994 21 0 0 25 0 1 0 831245726 50388992 9709 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9709 1111 63 0 12239 0
vsize: 49208
[startup+760.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 9903 0 0 0 75994 22 0 0 25 0 1 0 831245726 50958336 9827 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9827 1111 63 0 12378 0
vsize: 49764
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10019 0 0 0 76994 22 0 0 25 0 1 0 831245726 51408896 9943 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9943 1111 63 0 12488 0
vsize: 50204
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10139 0 0 0 77994 22 0 0 25 0 1 0 831245726 51859456 10063 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10063 1111 63 0 12598 0
vsize: 50644
[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10257 0 0 0 78994 22 0 0 25 0 1 0 831245726 52310016 10181 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10181 1111 63 0 12708 0
vsize: 51084
[startup+800.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10373 0 0 0 79994 22 0 0 25 0 1 0 831245726 52760576 10297 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10297 1111 63 0 12818 0
vsize: 51524
[startup+810.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10491 0 0 0 80994 23 0 0 25 0 1 0 831245726 53362688 10415 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 10415 1111 63 0 12965 0
vsize: 52112
[startup+820.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10610 0 0 0 81994 23 0 0 25 0 1 0 831245726 53809152 10534 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10534 1111 63 0 13074 0
vsize: 52548
[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10728 0 0 0 82994 23 0 0 25 0 1 0 831245726 54259712 10652 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10652 1111 63 0 13184 0
vsize: 52988
[startup+840.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10844 0 0 0 83994 23 0 0 25 0 1 0 831245726 54710272 10768 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10768 1111 63 0 13294 0
vsize: 53428
[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 10962 0 0 0 84994 24 0 0 25 0 1 0 831245726 55160832 10886 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10886 1111 63 0 13404 0
vsize: 53868
[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 11080 0 0 0 85994 24 0 0 25 0 1 0 831245726 55754752 11004 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13612 11004 1111 63 0 13549 0
vsize: 54448
[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 11205 0 0 0 86994 24 0 0 25 0 1 0 831245726 56209408 11129 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13723 11129 1111 63 0 13660 0
vsize: 54892
[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 11321 0 0 0 87994 24 0 0 25 0 1 0 831245726 56655872 11245 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11245 1111 63 0 13769 0
vsize: 55328
[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 11439 0 0 0 88994 24 0 0 25 0 1 0 831245726 57110528 11363 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11363 1111 63 0 13880 0
vsize: 55772
[startup+900.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 11563 0 0 0 89994 25 0 0 25 0 1 0 831245726 57704448 11487 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14088 11487 1111 63 0 14025 0
vsize: 56352
[startup+910.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 11682 0 0 0 90994 25 0 0 25 0 1 0 831245726 58155008 11606 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14198 11606 1111 63 0 14135 0
vsize: 56792
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 11800 0 0 0 91994 25 0 0 25 0 1 0 831245726 58605568 11724 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14308 11724 1111 63 0 14245 0
vsize: 57232
[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 11917 0 0 0 92994 25 0 0 25 0 1 0 831245726 59056128 11841 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11841 1111 63 0 14355 0
vsize: 57672
[startup+940.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12036 0 0 0 93994 25 0 0 25 0 1 0 831245726 59658240 11960 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14565 11960 1111 63 0 14502 0
vsize: 58260
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12154 0 0 0 94994 25 0 0 25 0 1 0 831245726 60104704 12078 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14674 12078 1111 63 0 14611 0
vsize: 58696
[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12278 0 0 0 95994 26 0 0 25 0 1 0 831245726 60555264 12202 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14784 12202 1111 63 0 14721 0
vsize: 59136
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12395 0 0 0 96994 26 0 0 25 0 1 0 831245726 61005824 12319 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 12319 1111 63 0 14831 0
vsize: 59576
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12519 0 0 0 97994 26 0 0 25 0 1 0 831245726 61607936 12443 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15041 12443 1111 63 0 14978 0
vsize: 60164
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12636 0 0 0 98994 27 0 0 25 0 1 0 831245726 62050304 12560 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15149 12560 1111 63 0 15086 0
vsize: 60596
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12755 0 0 0 99993 27 0 0 25 0 1 0 831245726 62504960 12679 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15260 12679 1111 63 0 15197 0
vsize: 61040
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12872 0 0 0 100993 27 0 0 25 0 1 0 831245726 62951424 12796 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15369 12796 1111 63 0 15306 0
vsize: 61476
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 12997 0 0 0 101993 27 0 0 25 0 1 0 831245726 63553536 12921 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15516 12921 1111 63 0 15453 0
vsize: 62064
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 13121 0 0 0 102993 28 0 0 25 0 1 0 831245726 64000000 13045 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15625 13045 1111 63 0 15562 0
vsize: 62500
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 13239 0 0 0 103993 28 0 0 25 0 1 0 831245726 64450560 13163 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15735 13163 1111 63 0 15672 0
vsize: 62940
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 13357 0 0 0 104993 28 0 0 25 0 1 0 831245726 65052672 13281 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15882 13281 1111 63 0 15819 0
vsize: 63528
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 13481 0 0 0 105993 29 0 0 25 0 1 0 831245726 65503232 13405 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15992 13405 1111 63 0 15929 0
vsize: 63968
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 13600 0 0 0 106993 29 0 0 25 0 1 0 831245726 65953792 13524 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16102 13524 1111 63 0 16039 0
vsize: 64408
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 13724 0 0 0 107993 29 0 0 25 0 1 0 831245726 66547712 13648 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16247 13648 1111 63 0 16184 0
vsize: 64988
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 13842 0 0 0 108993 29 0 0 25 0 1 0 831245726 67002368 13766 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16358 13766 1111 63 0 16295 0
vsize: 65432
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 13966 0 0 0 109993 29 0 0 25 0 1 0 831245726 67448832 13890 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 13890 1111 63 0 16404 0
vsize: 65868
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 14091 0 0 0 110993 29 0 0 25 0 1 0 831245726 68050944 14015 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14015 1111 63 0 16551 0
vsize: 66456
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 14209 0 0 0 111993 30 0 0 25 0 1 0 831245726 68497408 14133 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16723 14133 1111 63 0 16660 0
vsize: 66892
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 14334 0 0 0 112993 30 0 0 25 0 1 0 831245726 68947968 14258 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16833 14258 1111 63 0 16770 0
vsize: 67332
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 14459 0 0 0 113992 30 0 0 25 0 1 0 831245726 69550080 14383 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14383 1111 63 0 16917 0
vsize: 67920
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 14577 0 0 0 114992 31 0 0 25 0 1 0 831245726 70000640 14501 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14501 1111 63 0 17027 0
vsize: 68360
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 14702 0 0 0 115992 31 0 0 25 0 1 0 831245726 70451200 14626 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14626 1111 63 0 17137 0
vsize: 68800
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 14826 0 0 0 116992 31 0 0 25 0 1 0 831245726 71045120 14750 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14750 1111 63 0 17282 0
vsize: 69380
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 14945 0 0 0 117992 31 0 0 25 0 1 0 831245726 71499776 14869 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17456 14869 1111 63 0 17393 0
vsize: 69824
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 15069 0 0 0 118992 32 0 0 25 0 1 0 831245726 71946240 14993 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17565 14993 1111 63 0 17502 0
vsize: 70260
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) R 27111 25399 25398 0 -1 0 15194 0 0 0 119992 32 0 0 25 0 1 0 831245726 72548352 15118 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17712 15118 1111 63 0 17649 0
vsize: 70848
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 27112
Raw data (stat): 27112 (bsolo_lpr_cuts) Z 27111 25399 25398 0 -1 1036 15194 0 0 0 119992 35 0 0 25 0 1 0 831245726 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.28
CPU user time (s): 1199.93
CPU system time (s): 0.351946
CPU usage (%): 100.015
Max. virtual memory (Kb): 70848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####