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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb
MD5SUM	16a606cf9ab6b9dba681e237f3d29f84
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	126788
Biggest coefficient in the objective function	175552593920000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	8868947507751438
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	175552593920000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	8868947507751438
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45378
Number of variables	157082
Total number of constraints	5220
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	5220
Minimum length of a constraint	7
Maximum length of a constraint	2220
Trace number 26099

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 02:34:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15420 boxname=wulflinc31 idbench=1187 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  16a606cf9ab6b9dba681e237f3d29f84  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-80bau3b.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-80bau3b.opb
IDLAUNCH: 15420
/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:        575904 kB
Buffers:         27580 kB
Cached:         409736 kB
SwapCached:       1352 kB
Active:         305776 kB
Inactive:       134076 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        575652 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13308 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 02:54:29 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 15420 7 1200.37 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): 0.87 0.91 0.88 2/55 23886
Raw data (stat): 23886 (runsolver) R 23885 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 826655262 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.89 0.91 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 1415 0 0 0 988 7 0 0 25 0 1 0 826655262 15495168 1338 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3783 1338 1111 63 0 3720 0
vsize: 15132
[startup+20.0012 s]
Raw data (loadavg): 0.91 0.91 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 1518 0 0 0 1988 8 0 0 25 0 1 0 826655262 15921152 1441 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3887 1441 1111 63 0 3824 0
vsize: 15548
[startup+30.0011 s]
Raw data (loadavg): 0.92 0.91 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 1623 0 0 0 2988 8 0 0 25 0 1 0 826655262 16347136 1546 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3991 1546 1111 63 0 3928 0
vsize: 15964
[startup+40.002 s]
Raw data (loadavg): 0.93 0.92 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 1732 0 0 0 3987 9 0 0 25 0 1 0 826655262 16908288 1655 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4128 1655 1111 63 0 4065 0
vsize: 16512
[startup+50.0029 s]
Raw data (loadavg): 0.94 0.92 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 1857 0 0 0 4987 9 0 0 25 0 1 0 826655262 17338368 1780 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4233 1780 1111 63 0 4170 0
vsize: 16932
[startup+60.0029 s]
Raw data (loadavg): 0.95 0.92 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 1981 0 0 0 5987 10 0 0 25 0 1 0 826655262 17899520 1904 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4370 1904 1111 63 0 4307 0
vsize: 17480
[startup+70.0028 s]
Raw data (loadavg): 0.96 0.92 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 2108 0 0 0 6986 10 0 0 25 0 1 0 826655262 18329600 2031 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4475 2031 1111 63 0 4412 0
vsize: 17900
[startup+80.0028 s]
Raw data (loadavg): 0.96 0.92 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 2239 0 0 0 7985 11 0 0 25 0 1 0 826655262 18898944 2162 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4614 2162 1111 63 0 4551 0
vsize: 18456
[startup+90.0037 s]
Raw data (loadavg): 0.97 0.93 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 2381 0 0 0 8985 12 0 0 25 0 1 0 826655262 19451904 2304 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4749 2304 1111 63 0 4686 0
vsize: 18996
[startup+100.004 s]
Raw data (loadavg): 0.97 0.93 0.89 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 2499 0 0 0 9985 12 0 0 25 0 1 0 826655262 20017152 2422 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4887 2422 1111 63 0 4824 0
vsize: 19548
[startup+110.004 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 2646 0 0 0 10984 13 0 0 25 0 1 0 826655262 20566016 2569 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5021 2569 1111 63 0 4958 0
vsize: 20084
[startup+120.004 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 2793 0 0 0 11984 13 0 0 25 0 1 0 826655262 21127168 2716 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5158 2716 1111 63 0 5095 0
vsize: 20632
[startup+130.004 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 2904 0 0 0 12984 14 0 0 25 0 1 0 826655262 21680128 2827 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5293 2827 1111 63 0 5230 0
vsize: 21172
[startup+140.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 3039 0 0 0 13983 15 0 0 25 0 1 0 826655262 22237184 2962 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5429 2962 1111 63 0 5366 0
vsize: 21716
[startup+150.006 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 3169 0 0 0 14983 15 0 0 25 0 1 0 826655262 22798336 3092 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5566 3092 1111 63 0 5503 0
vsize: 22264
[startup+160.006 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 3323 0 0 0 15982 16 0 0 25 0 1 0 826655262 23367680 3246 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5705 3246 1111 63 0 5642 0
vsize: 22820
[startup+170.006 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 3472 0 0 0 16982 17 0 0 25 0 1 0 826655262 23924736 3395 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 3395 1111 63 0 5778 0
vsize: 23364
[startup+180.006 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 3613 0 0 0 17981 17 0 0 25 0 1 0 826655262 24612864 3536 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6009 3536 1111 63 0 5946 0
vsize: 24036
[startup+190.007 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 3754 0 0 0 18980 18 0 0 25 0 1 0 826655262 25161728 3677 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6143 3677 1111 63 0 6080 0
vsize: 24572
[startup+200.007 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 3872 0 0 0 19980 19 0 0 25 0 1 0 826655262 25587712 3795 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6247 3795 1111 63 0 6184 0
vsize: 24988
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 4032 0 0 0 20979 20 0 0 25 0 1 0 826655262 26271744 3955 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6414 3955 1111 63 0 6351 0
vsize: 25656
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 4162 0 0 0 21979 20 0 0 25 0 1 0 826655262 26832896 4085 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6551 4085 1111 63 0 6488 0
vsize: 26204
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 4298 0 0 0 22979 21 0 0 25 0 1 0 826655262 27389952 4221 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6687 4221 1111 63 0 6624 0
vsize: 26748
[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 4430 0 0 0 23978 22 0 0 25 0 1 0 826655262 27967488 4353 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6828 4353 1111 63 0 6765 0
vsize: 27312
[startup+250.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 4589 0 0 0 24977 22 0 0 25 0 1 0 826655262 28512256 4512 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6961 4512 1111 63 0 6898 0
vsize: 27844
[startup+260.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 4749 0 0 0 25977 23 0 0 25 0 1 0 826655262 29204480 4672 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7130 4672 1111 63 0 7067 0
vsize: 28520
[startup+270.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 4941 0 0 0 26976 23 0 0 25 0 1 0 826655262 30044160 4864 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7335 4864 1111 63 0 7272 0
vsize: 29340
[startup+280.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 5133 0 0 0 27976 24 0 0 25 0 1 0 826655262 30740480 5056 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7505 5056 1111 63 0 7442 0
vsize: 30020
[startup+290.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 5313 0 0 0 28975 25 0 0 25 0 1 0 826655262 31559680 5236 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7705 5236 1111 63 0 7642 0
vsize: 30820
[startup+300.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 5492 0 0 0 29975 26 0 0 25 0 1 0 826655262 32239616 5415 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7871 5415 1111 63 0 7808 0
vsize: 31484
[startup+310.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 5666 0 0 0 30974 26 0 0 25 0 1 0 826655262 32927744 5589 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8039 5589 1111 63 0 7976 0
vsize: 32156
[startup+320.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 5869 0 0 0 31974 27 0 0 25 0 1 0 826655262 33763328 5792 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8243 5792 1111 63 0 8180 0
vsize: 32972
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 6038 0 0 0 32974 27 0 0 25 0 1 0 826655262 34443264 5961 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8409 5961 1111 63 0 8346 0
vsize: 33636
[startup+340.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 6192 0 0 0 33974 27 0 0 25 0 1 0 826655262 35123200 6115 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8575 6115 1111 63 0 8512 0
vsize: 34300
[startup+350.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 6359 0 0 0 34973 28 0 0 25 0 1 0 826655262 35807232 6282 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8742 6282 1111 63 0 8679 0
vsize: 34968
[startup+360.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 6548 0 0 0 35972 29 0 0 25 0 1 0 826655262 36507648 6471 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8913 6471 1111 63 0 8850 0
vsize: 35652
[startup+370.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 6728 0 0 0 36972 30 0 0 25 0 1 0 826655262 37347328 6651 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9118 6651 1111 63 0 9055 0
vsize: 36472
[startup+380.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 6905 0 0 0 37971 30 0 0 25 0 1 0 826655262 38023168 6828 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9283 6828 1111 63 0 9220 0
vsize: 37132
[startup+390.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 7068 0 0 0 38970 31 0 0 25 0 1 0 826655262 38707200 6991 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9450 6991 1111 63 0 9387 0
vsize: 37800
[startup+400.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 7246 0 0 0 39970 32 0 0 25 0 1 0 826655262 39407616 7169 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9621 7169 1111 63 0 9558 0
vsize: 38484
[startup+410.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 7456 0 0 0 40969 33 0 0 25 0 1 0 826655262 40247296 7379 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9826 7379 1111 63 0 9763 0
vsize: 39304
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 7628 0 0 0 41969 33 0 0 25 0 1 0 826655262 40943616 7551 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9996 7551 1111 63 0 9933 0
vsize: 39984
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 7789 0 0 0 42968 34 0 0 25 0 1 0 826655262 41627648 7712 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10163 7712 1111 63 0 10100 0
vsize: 40652
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 7955 0 0 0 43968 35 0 0 25 0 1 0 826655262 42319872 7878 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10332 7878 1111 63 0 10269 0
vsize: 41328
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 8132 0 0 0 44967 36 0 0 25 0 1 0 826655262 43171840 8055 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10540 8055 1111 63 0 10477 0
vsize: 42160
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 8312 0 0 0 45966 37 0 0 25 0 1 0 826655262 43855872 8235 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10707 8235 1111 63 0 10644 0
vsize: 42828
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 8490 0 0 0 46966 37 0 0 25 0 1 0 826655262 44576768 8413 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10883 8413 1111 63 0 10820 0
vsize: 43532
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 8693 0 0 0 47965 39 0 0 25 0 1 0 826655262 45416448 8616 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11088 8616 1111 63 0 11025 0
vsize: 44352
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 8871 0 0 0 48964 40 0 0 25 0 1 0 826655262 46116864 8794 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11259 8794 1111 63 0 11196 0
vsize: 45036
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 9034 0 0 0 49963 40 0 0 25 0 1 0 826655262 46804992 8957 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11427 8957 1111 63 0 11364 0
vsize: 45708
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 9225 0 0 0 50962 41 0 0 25 0 1 0 826655262 47640576 9148 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11631 9148 1111 63 0 11568 0
vsize: 46524
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 9429 0 0 0 51962 42 0 0 25 0 1 0 826655262 48476160 9352 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11835 9352 1111 63 0 11772 0
vsize: 47340
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 9619 0 0 0 52964 42 0 0 25 0 1 0 826655262 49172480 9542 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12005 9542 1111 63 0 11942 0
vsize: 48020
[startup+540.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 9781 0 0 0 53963 43 0 0 25 0 1 0 826655262 49856512 9704 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12172 9704 1111 63 0 12109 0
vsize: 48688
[startup+550.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 9952 0 0 0 54963 44 0 0 25 0 1 0 826655262 50561024 9875 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12344 9875 1111 63 0 12281 0
vsize: 49376
[startup+560.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 10146 0 0 0 55962 44 0 0 25 0 1 0 826655262 51404800 10069 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12550 10069 1111 63 0 12487 0
vsize: 50200
[startup+570.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 10324 0 0 0 56961 45 0 0 25 0 1 0 826655262 52080640 10247 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12715 10247 1111 63 0 12652 0
vsize: 50860
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 10515 0 0 0 57960 46 0 0 25 0 1 0 826655262 52805632 10438 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12892 10438 1111 63 0 12829 0
vsize: 51568
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 10711 0 0 0 58960 47 0 0 25 0 1 0 826655262 53637120 10634 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13095 10634 1111 63 0 13032 0
vsize: 52380
[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 10884 0 0 0 59960 47 0 0 25 0 1 0 826655262 54345728 10807 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13268 10807 1111 63 0 13205 0
vsize: 53072
[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 11052 0 0 0 60959 48 0 0 25 0 1 0 826655262 55029760 10975 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13435 10975 1111 63 0 13372 0
vsize: 53740
[startup+620.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 11250 0 0 0 61958 49 0 0 25 0 1 0 826655262 55865344 11173 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13639 11173 1111 63 0 13576 0
vsize: 54556
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 11471 0 0 0 62958 49 0 0 25 0 1 0 826655262 56717312 11394 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13847 11394 1111 63 0 13784 0
vsize: 55388
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 11651 0 0 0 63957 50 0 0 25 0 1 0 826655262 57528320 11574 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14045 11574 1111 63 0 13982 0
vsize: 56180
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 11823 0 0 0 64957 51 0 0 25 0 1 0 826655262 58212352 11746 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14212 11746 1111 63 0 14149 0
vsize: 56848
[startup+660.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 11997 0 0 0 65956 51 0 0 25 0 1 0 826655262 58892288 11920 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14378 11920 1111 63 0 14315 0
vsize: 57512
[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 12170 0 0 0 66956 52 0 0 25 0 1 0 826655262 59568128 12093 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14543 12093 1111 63 0 14480 0
vsize: 58172
[startup+680.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 12378 0 0 0 67955 53 0 0 25 0 1 0 826655262 60399616 12301 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14746 12301 1111 63 0 14683 0
vsize: 58984
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 12570 0 0 0 68954 54 0 0 25 0 1 0 826655262 61239296 12493 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14951 12493 1111 63 0 14888 0
vsize: 59804
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 12772 0 0 0 69954 54 0 0 25 0 1 0 826655262 62091264 12695 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15159 12695 1111 63 0 15096 0
vsize: 60636
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 12940 0 0 0 70953 55 0 0 25 0 1 0 826655262 62775296 12863 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15326 12863 1111 63 0 15263 0
vsize: 61304
[startup+720.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 13126 0 0 0 71953 55 0 0 25 0 1 0 826655262 63479808 13049 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15498 13049 1111 63 0 15435 0
vsize: 61992
[startup+730.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 13324 0 0 0 72953 55 0 0 25 0 1 0 826655262 64344064 13247 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15709 13247 1111 63 0 15646 0
vsize: 62836
[startup+740.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 13521 0 0 0 73954 55 0 0 25 0 1 0 826655262 65200128 13444 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15918 13444 1111 63 0 15855 0
vsize: 63672
[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 13695 0 0 0 74954 56 0 0 25 0 1 0 826655262 65888256 13618 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16086 13618 1111 63 0 16023 0
vsize: 64344
[startup+760.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 13861 0 0 0 75953 56 0 0 25 0 1 0 826655262 66568192 13784 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16252 13784 1111 63 0 16189 0
vsize: 65008
[startup+770.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 14024 0 0 0 76953 56 0 0 25 0 1 0 826655262 67256320 13947 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16420 13947 1111 63 0 16357 0
vsize: 65680
[startup+780.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 14214 0 0 0 77953 57 0 0 25 0 1 0 826655262 67932160 14137 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16585 14137 1111 63 0 16522 0
vsize: 66340
[startup+790.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 14406 0 0 0 78953 57 0 0 25 0 1 0 826655262 68788224 14329 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16794 14329 1111 63 0 16731 0
vsize: 67176
[startup+800.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 14602 0 0 0 79952 58 0 0 25 0 1 0 826655262 69619712 14525 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16997 14525 1111 63 0 16934 0
vsize: 67988
[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 14805 0 0 0 80952 58 0 0 25 0 1 0 826655262 70324224 14728 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17169 14728 1111 63 0 17106 0
vsize: 68676
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 14996 0 0 0 81952 59 0 0 25 0 1 0 826655262 71176192 14919 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17377 14919 1111 63 0 17314 0
vsize: 69508
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 15187 0 0 0 82952 59 0 0 25 0 1 0 826655262 72019968 15110 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17583 15110 1111 63 0 17520 0
vsize: 70332
[startup+840.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 15390 0 0 0 83951 60 0 0 25 0 1 0 826655262 72720384 15313 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17754 15313 1111 63 0 17691 0
vsize: 71016
[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 15589 0 0 0 84951 60 0 0 25 0 1 0 826655262 73560064 15512 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17959 15512 1111 63 0 17896 0
vsize: 71836
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 15768 0 0 0 85951 61 0 0 25 0 1 0 826655262 74399744 15691 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18164 15691 1111 63 0 18101 0
vsize: 72656
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 15972 0 0 0 86950 61 0 0 25 0 1 0 826655262 75321344 15895 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18389 15895 1111 63 0 18326 0
vsize: 73556
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 16134 0 0 0 87950 61 0 0 25 0 1 0 826655262 76005376 16057 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18556 16057 1111 63 0 18493 0
vsize: 74224
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 16313 0 0 0 88950 61 0 0 25 0 1 0 826655262 76713984 16236 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18729 16236 1111 63 0 18666 0
vsize: 74916
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 16510 0 0 0 89950 62 0 0 25 0 1 0 826655262 77524992 16433 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18927 16433 1111 63 0 18864 0
vsize: 75708
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 16714 0 0 0 90950 62 0 0 25 0 1 0 826655262 78385152 16637 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19137 16637 1111 63 0 19074 0
vsize: 76548
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 16905 0 0 0 91950 63 0 0 25 0 1 0 826655262 79081472 16828 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19307 16828 1111 63 0 19244 0
vsize: 77228
[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 17098 0 0 0 92949 63 0 0 25 0 1 0 826655262 79917056 17021 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19511 17021 1111 63 0 19448 0
vsize: 78044
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 17289 0 0 0 93949 63 0 0 25 0 1 0 826655262 80732160 17212 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19710 17212 1111 63 0 19647 0
vsize: 78840
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 17493 0 0 0 94949 64 0 0 25 0 1 0 826655262 81567744 17416 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19914 17416 1111 63 0 19851 0
vsize: 79656
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 17684 0 0 0 95949 64 0 0 25 0 1 0 826655262 82268160 17607 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20085 17607 1111 63 0 20022 0
vsize: 80340
[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 17860 0 0 0 96949 64 0 0 25 0 1 0 826655262 82956288 17783 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20253 17783 1111 63 0 20190 0
vsize: 81012
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 18033 0 0 0 97949 64 0 0 25 0 1 0 826655262 83771392 17956 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20452 17956 1111 63 0 20389 0
vsize: 81808
[startup+990.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 18220 0 0 0 98949 64 0 0 25 0 1 0 826655262 84455424 18143 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20619 18143 1111 63 0 20556 0
vsize: 82476
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 18380 0 0 0 99949 65 0 0 25 0 1 0 826655262 85139456 18303 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20786 18303 1111 63 0 20723 0
vsize: 83144
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 18579 0 0 0 100949 65 0 0 25 0 1 0 826655262 85979136 18502 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20991 18502 1111 63 0 20928 0
vsize: 83964
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 18775 0 0 0 101949 65 0 0 25 0 1 0 826655262 86810624 18698 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21194 18698 1111 63 0 21131 0
vsize: 84776
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 18993 0 0 0 102949 65 0 0 25 0 1 0 826655262 87646208 18916 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21398 18916 1111 63 0 21335 0
vsize: 85592
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 19190 0 0 0 103949 66 0 0 25 0 1 0 826655262 88498176 19113 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21606 19113 1111 63 0 21543 0
vsize: 86424
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 19382 0 0 0 104949 66 0 0 25 0 1 0 826655262 89174016 19305 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21771 19305 1111 63 0 21708 0
vsize: 87084
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 19579 0 0 0 105949 66 0 0 25 0 1 0 826655262 89989120 19502 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21970 19502 1111 63 0 21907 0
vsize: 87880
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 19784 0 0 0 106948 67 0 0 25 0 1 0 826655262 90824704 19707 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22174 19707 1111 63 0 22111 0
vsize: 88696
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 19952 0 0 0 107948 67 0 0 25 0 1 0 826655262 91508736 19875 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22341 19875 1111 63 0 22278 0
vsize: 89364
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 20145 0 0 0 108948 67 0 0 25 0 1 0 826655262 92327936 20068 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22541 20068 1111 63 0 22478 0
vsize: 90164
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 20317 0 0 0 109948 68 0 0 25 0 1 0 826655262 93003776 20240 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22706 20240 1111 63 0 22643 0
vsize: 90824
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 20486 0 0 0 110948 68 0 0 25 0 1 0 826655262 93687808 20409 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22873 20409 1111 63 0 22810 0
vsize: 91492
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 20665 0 0 0 111948 69 0 0 25 0 1 0 826655262 94507008 20588 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23073 20588 1111 63 0 23010 0
vsize: 92292
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 20852 0 0 0 112947 69 0 0 25 0 1 0 826655262 95232000 20775 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23250 20775 1111 63 0 23187 0
vsize: 93000
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 21056 0 0 0 113947 70 0 0 25 0 1 0 826655262 96071680 20979 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23455 20979 1111 63 0 23392 0
vsize: 93820
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 21248 0 0 0 114947 70 0 0 25 0 1 0 826655262 96907264 21171 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23659 21171 1111 63 0 23596 0
vsize: 94636
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 21439 0 0 0 115946 70 0 0 25 0 1 0 826655262 97587200 21362 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23825 21362 1111 63 0 23762 0
vsize: 95300
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 21644 0 0 0 116946 71 0 0 25 0 1 0 826655262 98422784 21567 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24029 21567 1111 63 0 23966 0
vsize: 96116
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 21847 0 0 0 117952 71 0 0 25 0 1 0 826655262 99258368 21770 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24233 21770 1111 63 0 24170 0
vsize: 96932
[startup+1190.18 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 22053 0 0 0 118958 72 0 0 25 0 1 0 826655262 100098048 21976 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24438 21976 1111 63 0 24375 0
vsize: 97752
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) R 23885 7876 7672 0 -1 0 22220 0 0 0 119957 72 0 0 25 0 1 0 826655262 100782080 22143 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24605 22143 1111 63 0 24542 0
vsize: 98420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 23886
Raw data (stat): 23886 (bsolo_lpr_cuts) Z 23885 7876 7672 0 -1 1036 22220 0 0 0 119959 77 0 0 22 0 1 0 826655262 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.28
CPU time (s): 1200.37
CPU user time (s): 1199.6
CPU system time (s): 0.770882
CPU usage (%): 100.007
Max. virtual memory (Kb): 98420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####