PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
MD5SUM	450ad3720278f8a937b0ae6f1c4dfd6d
Bench Category	optimization, medium integers (OPTMEDINT)
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	145051
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	4825267
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	3840
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	4825267
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.26005
Number of variables	636571
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	10240
Trace number 25449

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 12:45:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19762 boxname=wulflinc31 idbench=1521 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 19762
/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:        695024 kB
Buffers:         31904 kB
Cached:         281956 kB
SwapCached:       5400 kB
Active:         250928 kB
Inactive:        69612 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        694772 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13348 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 13:05:11 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 19762 7 1200.45 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.97 0.99 2/55 20777
Raw data (stat): 20777 (runsolver) R 20776 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 787115076 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.89 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 2680 0 0 0 984 12 0 0 25 0 1 0 787115076 21803008 2603 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5323 2603 1111 63 0 5260 0
vsize: 21292
[startup+20.0024 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 4369 0 0 0 1981 15 0 0 25 0 1 0 787115076 28823552 4292 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7037 4292 1111 63 0 6974 0
vsize: 28148
[startup+30.0033 s]
Raw data (loadavg): 0.92 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 6059 0 0 0 2978 17 0 0 25 0 1 0 787115076 35692544 5982 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8714 5982 1111 63 0 8651 0
vsize: 34856
[startup+40.0042 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 7756 0 0 0 3975 21 0 0 25 0 1 0 787115076 42696704 7679 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10424 7679 1111 63 0 10361 0
vsize: 41696
[startup+50.0052 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 9457 0 0 0 4972 24 0 0 25 0 1 0 787115076 49565696 9380 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12101 9380 1111 63 0 12038 0
vsize: 48404
[startup+60.0061 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 11157 0 0 0 5969 27 0 0 25 0 1 0 787115076 56578048 11080 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13813 11080 1111 63 0 13750 0
vsize: 55252
[startup+70.006 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 12859 0 0 0 6965 31 0 0 25 0 1 0 787115076 63598592 12782 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15527 12782 1111 63 0 15464 0
vsize: 62108
[startup+80.007 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 14003 0 0 0 7963 33 0 0 25 0 1 0 787115076 68231168 13926 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16658 13926 1111 63 0 16595 0
vsize: 66632
[startup+90.0079 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 14447 0 0 0 8962 34 0 0 25 0 1 0 787115076 70078464 14370 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17109 14370 1111 63 0 17046 0
vsize: 68436
[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 14898 0 0 0 9960 36 0 0 25 0 1 0 787115076 71921664 14821 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17559 14821 1111 63 0 17496 0
vsize: 70236
[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 15348 0 0 0 10959 37 0 0 25 0 1 0 787115076 73768960 15271 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18010 15271 1111 63 0 17947 0
vsize: 72040
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 15799 0 0 0 11958 38 0 0 25 0 1 0 787115076 75612160 15722 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18460 15722 1111 63 0 18397 0
vsize: 73840
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 16249 0 0 0 12956 40 0 0 25 0 1 0 787115076 77459456 16172 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18911 16172 1111 63 0 18848 0
vsize: 75644
[startup+140.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 16704 0 0 0 13955 42 0 0 25 0 1 0 787115076 79323136 16627 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19366 16627 1111 63 0 19303 0
vsize: 77464
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 17157 0 0 0 14954 43 0 0 25 0 1 0 787115076 81141760 17080 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19810 17080 1111 63 0 19747 0
vsize: 79240
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 17613 0 0 0 15952 45 0 0 25 0 1 0 787115076 82984960 17536 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20260 17536 1111 63 0 20197 0
vsize: 81040
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 18058 0 0 0 16950 47 0 0 25 0 1 0 787115076 84832256 17981 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20711 17981 1111 63 0 20648 0
vsize: 82844
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 18516 0 0 0 17950 47 0 0 25 0 1 0 787115076 86675456 18439 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21161 18439 1111 63 0 21098 0
vsize: 84644
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 18973 0 0 0 18949 48 0 0 25 0 1 0 787115076 88522752 18896 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21612 18896 1111 63 0 21549 0
vsize: 86448
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 19428 0 0 0 19948 49 0 0 25 0 1 0 787115076 90386432 19351 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22067 19351 1111 63 0 22004 0
vsize: 88268
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 19873 0 0 0 20947 50 0 0 25 0 1 0 787115076 92229632 19796 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22517 19796 1111 63 0 22454 0
vsize: 90068
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 20331 0 0 0 21946 52 0 0 25 0 1 0 787115076 94076928 20254 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22968 20254 1111 63 0 22905 0
vsize: 91872
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 20801 0 0 0 22945 53 0 0 25 0 1 0 787115076 96075776 20724 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23456 20724 1111 63 0 23393 0
vsize: 93824
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 21258 0 0 0 23944 53 0 0 25 0 1 0 787115076 97923072 21181 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23907 21181 1111 63 0 23844 0
vsize: 95628
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 21715 0 0 0 24944 54 0 0 25 0 1 0 787115076 99766272 21638 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24357 21638 1111 63 0 24294 0
vsize: 97428
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 22183 0 0 0 25943 55 0 0 25 0 1 0 787115076 101789696 22106 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24851 22106 1111 63 0 24788 0
vsize: 99404
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 22640 0 0 0 26943 56 0 0 25 0 1 0 787115076 103608320 22563 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25295 22563 1111 63 0 25232 0
vsize: 101180
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 23109 0 0 0 27942 57 0 0 25 0 1 0 787115076 105455616 23032 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25746 23032 1111 63 0 25683 0
vsize: 102984
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 23577 0 0 0 28942 58 0 0 25 0 1 0 787115076 107446272 23500 4294967295 134512640 134714508 3221221776 3221220432 134527953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26232 23500 1111 63 0 26169 0
vsize: 104928
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 24046 0 0 0 29941 58 0 0 25 0 1 0 787115076 109449216 23969 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26721 23969 1111 63 0 26658 0
vsize: 106884
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 24510 0 0 0 30940 59 0 0 25 0 1 0 787115076 111292416 24433 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27171 24433 1111 63 0 27108 0
vsize: 108684
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 24974 0 0 0 31940 60 0 0 25 0 1 0 787115076 113139712 24897 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27622 24897 1111 63 0 27559 0
vsize: 110488
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 25442 0 0 0 32939 61 0 0 25 0 1 0 787115076 115159040 25365 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28115 25365 1111 63 0 28052 0
vsize: 112460
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 25912 0 0 0 33939 62 0 0 25 0 1 0 787115076 117002240 25835 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28565 25835 1111 63 0 28502 0
vsize: 114260
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 26371 0 0 0 34938 62 0 0 25 0 1 0 787115076 118849536 26294 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29016 26294 1111 63 0 28953 0
vsize: 116064
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 26840 0 0 0 35938 63 0 0 25 0 1 0 787115076 120848384 26763 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29504 26763 1111 63 0 29441 0
vsize: 118016
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 27310 0 0 0 36937 64 0 0 25 0 1 0 787115076 122695680 27233 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29955 27233 1111 63 0 29892 0
vsize: 119820
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 27780 0 0 0 37936 65 0 0 25 0 1 0 787115076 124694528 27703 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30443 27703 1111 63 0 30380 0
vsize: 121772
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 28251 0 0 0 38936 65 0 0 25 0 1 0 787115076 126541824 28174 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30894 28174 1111 63 0 30831 0
vsize: 123576
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 28720 0 0 0 39935 66 0 0 25 0 1 0 787115076 128540672 28643 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31382 28643 1111 63 0 31319 0
vsize: 125528
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 29188 0 0 0 40935 67 0 0 25 0 1 0 787115076 130408448 29111 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31838 29111 1111 63 0 31775 0
vsize: 127352
[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 29660 0 0 0 41935 67 0 0 25 0 1 0 787115076 132407296 29583 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32326 29583 1111 63 0 32263 0
vsize: 129304
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 30129 0 0 0 42934 68 0 0 25 0 1 0 787115076 134254592 30052 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32777 30052 1111 63 0 32714 0
vsize: 131108
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 30599 0 0 0 43933 69 0 0 25 0 1 0 787115076 136228864 30522 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33259 30522 1111 63 0 33196 0
vsize: 133036
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 31069 0 0 0 44932 70 0 0 25 0 1 0 787115076 138072064 30992 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33709 30992 1111 63 0 33646 0
vsize: 134836
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 31546 0 0 0 45932 71 0 0 25 0 1 0 787115076 140075008 31469 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34198 31469 1111 63 0 34135 0
vsize: 136792
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 32022 0 0 0 46931 72 0 0 25 0 1 0 787115076 142073856 31945 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34686 31945 1111 63 0 34623 0
vsize: 138744
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 32491 0 0 0 47930 73 0 0 25 0 1 0 787115076 143941632 32414 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35142 32414 1111 63 0 35079 0
vsize: 140568
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 32962 0 0 0 48930 74 0 0 25 0 1 0 787115076 145940480 32885 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35630 32885 1111 63 0 35567 0
vsize: 142520
[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 33443 0 0 0 49929 74 0 0 25 0 1 0 787115076 147787776 33366 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36081 33366 1111 63 0 36018 0
vsize: 144324
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 33913 0 0 0 50929 75 0 0 25 0 1 0 787115076 149786624 33836 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36569 33836 1111 63 0 36506 0
vsize: 146276
[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 34396 0 0 0 51929 75 0 0 25 0 1 0 787115076 151789568 34319 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37058 34319 1111 63 0 36995 0
vsize: 148232
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 34866 0 0 0 52928 76 0 0 25 0 1 0 787115076 153632768 34789 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37508 34789 1111 63 0 37445 0
vsize: 150032
[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 35347 0 0 0 53928 77 0 0 25 0 1 0 787115076 155607040 35270 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37990 35270 1111 63 0 37927 0
vsize: 151960
[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 35817 0 0 0 54927 77 0 0 25 0 1 0 787115076 157609984 35740 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38479 35740 1111 63 0 38416 0
vsize: 153916
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 36319 0 0 0 55927 78 0 0 25 0 1 0 787115076 159801344 36242 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39014 36242 1111 63 0 38951 0
vsize: 156056
[startup+570.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 36787 0 0 0 56926 79 0 0 25 0 1 0 787115076 161665024 36710 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39469 36710 1111 63 0 39406 0
vsize: 157876
[startup+580.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 37269 0 0 0 57925 80 0 0 25 0 1 0 787115076 163667968 37192 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39958 37192 1111 63 0 39895 0
vsize: 159832
[startup+590.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 37753 0 0 0 58925 80 0 0 25 0 1 0 787115076 165666816 37676 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40446 37676 1111 63 0 40383 0
vsize: 161784
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 38229 0 0 0 59925 81 0 0 25 0 1 0 787115076 167514112 38152 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40897 38152 1111 63 0 40834 0
vsize: 163588
[startup+610.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 38705 0 0 0 60924 82 0 0 25 0 1 0 787115076 169512960 38628 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41385 38628 1111 63 0 41322 0
vsize: 165540
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 39188 0 0 0 61923 83 0 0 25 0 1 0 787115076 171515904 39111 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41874 39111 1111 63 0 41811 0
vsize: 167496
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 39671 0 0 0 62922 84 0 0 25 0 1 0 787115076 173514752 39594 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42362 39594 1111 63 0 42299 0
vsize: 169448
[startup+640.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 40153 0 0 0 63921 85 0 0 25 0 1 0 787115076 175362048 40076 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42813 40076 1111 63 0 42750 0
vsize: 171252
[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 40635 0 0 0 64921 86 0 0 25 0 1 0 787115076 177381376 40558 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43306 40558 1111 63 0 43243 0
vsize: 173224
[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 41118 0 0 0 65920 86 0 0 25 0 1 0 787115076 179380224 41041 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43794 41041 1111 63 0 43731 0
vsize: 175176
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 41600 0 0 0 66920 87 0 0 25 0 1 0 787115076 181383168 41523 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44283 41523 1111 63 0 44220 0
vsize: 177132
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 42076 0 0 0 67919 88 0 0 25 0 1 0 787115076 183226368 41999 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44733 41999 1111 63 0 44670 0
vsize: 178932
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 42560 0 0 0 68918 90 0 0 25 0 1 0 787115076 185229312 42483 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45222 42483 1111 63 0 45159 0
vsize: 180888
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 43049 0 0 0 69918 90 0 0 25 0 1 0 787115076 187228160 42972 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45710 42972 1111 63 0 45647 0
vsize: 182840
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 43531 0 0 0 70917 91 0 0 25 0 1 0 787115076 189231104 43454 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46199 43454 1111 63 0 46136 0
vsize: 184796
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 44014 0 0 0 71916 92 0 0 25 0 1 0 787115076 191229952 43937 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46687 43937 1111 63 0 46624 0
vsize: 186748
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 44497 0 0 0 72916 92 0 0 25 0 1 0 787115076 193232896 44420 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47176 44420 1111 63 0 47113 0
vsize: 188704
[startup+740.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 44980 0 0 0 73916 93 0 0 25 0 1 0 787115076 195231744 44903 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47664 44903 1111 63 0 47601 0
vsize: 190656
[startup+750.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 45461 0 0 0 74915 94 0 0 25 0 1 0 787115076 197095424 45384 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48119 45384 1111 63 0 48056 0
vsize: 192476
[startup+760.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 45957 0 0 0 75914 95 0 0 25 0 1 0 787115076 199229440 45880 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48640 45880 1111 63 0 48577 0
vsize: 194560
[startup+770.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 46439 0 0 0 76914 96 0 0 25 0 1 0 787115076 201072640 46362 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49090 46362 1111 63 0 49027 0
vsize: 196360
[startup+780.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 46921 0 0 0 77914 96 0 0 25 0 1 0 787115076 203075584 46844 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49579 46844 1111 63 0 49516 0
vsize: 198316
[startup+790.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 47411 0 0 0 78913 97 0 0 25 0 1 0 787115076 205074432 47334 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50067 47334 1111 63 0 50004 0
vsize: 200268
[startup+800.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 47899 0 0 0 79912 97 0 0 25 0 1 0 787115076 207077376 47822 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50556 47822 1111 63 0 50493 0
vsize: 202224
[startup+810.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 48381 0 0 0 80912 98 0 0 25 0 1 0 787115076 209076224 48304 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51044 48304 1111 63 0 50981 0
vsize: 204176
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 48877 0 0 0 81912 98 0 0 25 0 1 0 787115076 211075072 48800 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51532 48800 1111 63 0 51469 0
vsize: 206128
[startup+830.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 49366 0 0 0 82911 100 0 0 25 0 1 0 787115076 213078016 49289 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52021 49289 1111 63 0 51958 0
vsize: 208084
[startup+840.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 49855 0 0 0 83910 100 0 0 25 0 1 0 787115076 215097344 49778 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52514 49778 1111 63 0 52451 0
vsize: 210056
[startup+850.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 50349 0 0 0 84909 102 0 0 25 0 1 0 787115076 217100288 50272 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53003 50272 1111 63 0 52940 0
vsize: 212012
[startup+860.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 50833 0 0 0 85909 102 0 0 25 0 1 0 787115076 219074560 50756 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53485 50756 1111 63 0 53422 0
vsize: 213940
[startup+870.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 51327 0 0 0 86908 103 0 0 25 0 1 0 787115076 221077504 51250 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53974 51250 1111 63 0 53911 0
vsize: 215896
[startup+880.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 51823 0 0 0 87908 104 0 0 25 0 1 0 787115076 223232000 51746 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54500 51746 1111 63 0 54437 0
vsize: 218000
[startup+890.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 20777
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 52306 0 0 0 88907 105 0 0 25 0 1 0 787115076 225075200 52229 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54950 52229 1111 63 0 54887 0
vsize: 219800
[startup+900.155 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 20813
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 52801 0 0 0 89916 106 0 0 25 0 1 0 787115076 227233792 52724 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55477 52724 1111 63 0 55414 0
vsize: 221908
[startup+910.156 s]
Raw data (loadavg): 1.15 1.00 1.00 2/55 20830
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 53296 0 0 0 90915 107 0 0 25 0 1 0 787115076 229232640 53219 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55965 53219 1111 63 0 55902 0
vsize: 223860
[startup+920.188 s]
Raw data (loadavg): 1.12 1.00 1.00 2/55 20830
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 53791 0 0 0 91918 108 0 0 25 0 1 0 787115076 231235584 53714 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56454 53714 1111 63 0 56391 0
vsize: 225816
[startup+930.188 s]
Raw data (loadavg): 1.10 1.00 1.00 2/55 20830
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 54287 0 0 0 92917 109 0 0 25 0 1 0 787115076 233209856 54210 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56936 54210 1111 63 0 56873 0
vsize: 227744
[startup+940.189 s]
Raw data (loadavg): 1.09 1.00 1.00 2/55 20830
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 54782 0 0 0 93916 110 0 0 25 0 1 0 787115076 235208704 54705 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57424 54705 1111 63 0 57361 0
vsize: 229696
[startup+950.189 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 20830
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 55265 0 0 0 94916 110 0 0 25 0 1 0 787115076 237232128 55188 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57918 55188 1111 63 0 57855 0
vsize: 231672
[startup+960.19 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 20830
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 55760 0 0 0 95915 111 0 0 25 0 1 0 787115076 239230976 55683 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58406 55683 1111 63 0 58343 0
vsize: 233624
[startup+970.19 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 20830
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 56254 0 0 0 96915 112 0 0 25 0 1 0 787115076 241233920 56177 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58895 56177 1111 63 0 58832 0
vsize: 235580
[startup+980.191 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 56750 0 0 0 97914 112 0 0 25 0 1 0 787115076 243388416 56673 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59421 56673 1111 63 0 59358 0
vsize: 237684
[startup+990.192 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 57246 0 0 0 98913 113 0 0 25 0 1 0 787115076 245391360 57169 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59910 57169 1111 63 0 59847 0
vsize: 239640
[startup+1000.19 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 57741 0 0 0 99913 114 0 0 25 0 1 0 787115076 247390208 57664 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60398 57664 1111 63 0 60335 0
vsize: 241592
[startup+1010.19 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 58237 0 0 0 100912 115 0 0 25 0 1 0 787115076 249389056 58160 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60886 58160 1111 63 0 60823 0
vsize: 243544
[startup+1020.19 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 58738 0 0 0 101912 115 0 0 25 0 1 0 787115076 251392000 58661 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61375 58661 1111 63 0 61312 0
vsize: 245500
[startup+1030.19 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 59233 0 0 0 102911 117 0 0 25 0 1 0 787115076 253521920 59156 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61895 59156 1111 63 0 61832 0
vsize: 247580
[startup+1040.19 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 59734 0 0 0 103910 118 0 0 25 0 1 0 787115076 255520768 59657 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62383 59657 1111 63 0 62320 0
vsize: 249532
[startup+1050.19 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 60229 0 0 0 104909 119 0 0 25 0 1 0 787115076 257523712 60152 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62872 60152 1111 63 0 62809 0
vsize: 251488
[startup+1060.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 60724 0 0 0 105908 120 0 0 25 0 1 0 787115076 259522560 60647 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63360 60647 1111 63 0 63297 0
vsize: 253440
[startup+1070.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 61219 0 0 0 106907 121 0 0 25 0 1 0 787115076 261681152 61142 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63887 61142 1111 63 0 63824 0
vsize: 255548
[startup+1080.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 61758 0 0 0 107906 122 0 0 25 0 1 0 787115076 264036352 61681 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64462 61681 1111 63 0 64399 0
vsize: 257848
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 62253 0 0 0 108906 123 0 0 25 0 1 0 787115076 266039296 62176 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64951 62176 1111 63 0 64888 0
vsize: 259804
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 62749 0 0 0 109905 124 0 0 25 0 1 0 787115076 268193792 62672 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65477 62672 1111 63 0 65414 0
vsize: 261908
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 63257 0 0 0 110905 125 0 0 25 0 1 0 787115076 270196736 63180 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65966 63180 1111 63 0 65903 0
vsize: 263864
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 63753 0 0 0 111904 126 0 0 25 0 1 0 787115076 272171008 63676 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66448 63676 1111 63 0 66385 0
vsize: 265792
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 64261 0 0 0 112904 126 0 0 25 0 1 0 787115076 274325504 64184 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66974 64184 1111 63 0 66911 0
vsize: 267896
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 64757 0 0 0 113903 127 0 0 25 0 1 0 787115076 276328448 64680 4294967295 134512640 134714508 3221221776 3221220432 134527941 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67463 64680 1111 63 0 67400 0
vsize: 269852
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 65264 0 0 0 114903 127 0 0 25 0 1 0 787115076 278482944 65187 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67989 65187 1111 63 0 67926 0
vsize: 271956
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 65759 0 0 0 115902 129 0 0 25 0 1 0 787115076 280481792 65682 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68477 65682 1111 63 0 68414 0
vsize: 273908
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 66268 0 0 0 116901 130 0 0 25 0 1 0 787115076 282484736 66191 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68966 66191 1111 63 0 68903 0
vsize: 275864
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 66775 0 0 0 117900 131 0 0 25 0 1 0 787115076 284614656 66698 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69486 66698 1111 63 0 69423 0
vsize: 277944
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 67271 0 0 0 118899 132 0 0 25 0 1 0 787115076 286613504 67194 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69974 67194 1111 63 0 69911 0
vsize: 279896
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) R 20776 7876 7672 0 -1 0 67780 0 0 0 119898 133 0 0 25 0 1 0 787115076 288772096 67703 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70501 67703 1111 63 0 70438 0
vsize: 282004
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.33 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 20832
Raw data (stat): 20777 (bsolo_lpr_cuts) Z 20776 7876 7672 0 -1 1036 67780 0 0 0 119898 146 0 0 25 0 1 0 787115076 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.33
CPU time (s): 1200.45
CPU user time (s): 1198.99
CPU system time (s): 1.46278
CPU usage (%): 100.01
Max. virtual memory (Kb): 282004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####