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-neos12.opb
MD5SUM	8be56d63285d7b46f1a8393a6f228d5d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5243135
Optimality of the best value was proved	NO
Number of terms in the objective function	8960
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	469761600
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	469761600
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.45
Number of variables	16548
Total number of constraints	11747
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3136
Number of constraints which are nor clauses,nor cardinality constraints	8611
Minimum length of a constraint	1
Maximum length of a constraint	560
Trace number 25274

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 03:12:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19541 boxname=wulflinc31 idbench=1504 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8be56d63285d7b46f1a8393a6f228d5d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos12.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos12.opb
IDLAUNCH: 19541
/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:        866248 kB
Buffers:          7344 kB
Cached:         139216 kB
SwapCached:        932 kB
Active:          97376 kB
Inactive:        52504 kB
HighTotal:      131008 kB
HighFree:         6608 kB
LowTotal:       903652 kB
LowFree:        859640 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            12868 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 03:32:06 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 19541 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 16548 variables and 9186 constraints.
c After prepocess the problem consists of 15827 variables and 9700 constraints.
c preprocess terminated 150.827 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 1/55 2160
Raw data (stat): 2160 (runsolver) R 2159 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 775035212 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 11403 0 0 0 968 27 0 0 25 0 1 0 775035212 59809792 11326 4294967295 134512640 134714508 3221221776 3221220400 134524567 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14602 11326 1111 63 0 14539 0
vsize: 58408
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 33310 0 0 0 1924 71 0 0 25 0 1 0 775035212 149549056 33233 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36511 33234 1111 63 0 36448 0
vsize: 146044
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 36829 0 0 0 2914 81 0 0 25 0 1 0 775035212 154214400 36666 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37650 36666 1111 63 0 37587 0
vsize: 150600
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 40906 0 0 0 3904 91 0 0 25 0 1 0 775035212 167653376 39979 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40931 39979 1111 63 0 40868 0
vsize: 163724
[startup+50.0017 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 62742 0 0 0 4851 144 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 65428 0 0 0 5843 152 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 68563 0 0 0 6835 160 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 71731 0 0 0 7826 169 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74932 0 0 0 8818 177 0 0 25 0 1 0 775035212 200228864 47932 4294967295 134512640 134714508 3221221776 3221220292 1077378753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48884 47932 1111 63 0 48821 0
vsize: 195536
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74965 0 0 0 9818 178 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74965 0 0 0 10818 178 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74965 0 0 0 11818 178 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74965 0 0 0 12818 178 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74965 0 0 0 13818 178 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74965 0 0 0 14818 178 0 0 25 0 1 0 775035212 200093696 47899 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47899 1111 63 0 48788 0
vsize: 195404
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74988 0 0 0 15817 178 0 0 25 0 1 0 775035212 200093696 47922 4294967295 134512640 134714508 3221221776 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74988 0 0 0 16817 178 0 0 25 0 1 0 775035212 200093696 47922 4294967295 134512640 134714508 3221221776 3221219856 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74988 0 0 0 17817 179 0 0 25 0 1 0 775035212 200093696 47922 4294967295 134512640 134714508 3221221776 3221219984 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74988 0 0 0 18817 179 0 0 25 0 1 0 775035212 200093696 47922 4294967295 134512640 134714508 3221221776 3221219712 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74988 0 0 0 19817 179 0 0 25 0 1 0 775035212 200093696 47922 4294967295 134512640 134714508 3221221776 3221219816 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74988 0 0 0 20817 179 0 0 25 0 1 0 775035212 200093696 47922 4294967295 134512640 134714508 3221221776 3221219712 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 74988 0 0 0 21817 179 0 0 25 0 1 0 775035212 200093696 47922 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47922 1111 63 0 48788 0
vsize: 195404
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77284 0 0 0 22813 184 0 0 25 0 1 0 775035212 204615680 48863 4294967295 134512640 134714508 3221221776 3221217644 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49955 48863 1111 63 0 49892 0
vsize: 199820
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77545 0 0 0 23812 185 0 0 25 0 1 0 775035212 204566528 48908 4294967295 134512640 134714508 3221221776 3221218352 1075967689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48908 1111 63 0 49880 0
vsize: 199772
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77565 0 0 0 24812 185 0 0 25 0 1 0 775035212 204566528 48928 4294967295 134512640 134714508 3221221776 3221217632 1074788627 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48928 1111 63 0 49880 0
vsize: 199772
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77569 0 0 0 25812 185 0 0 25 0 1 0 775035212 204566528 48932 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48932 1111 63 0 49880 0
vsize: 199772
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77571 0 0 0 26812 185 0 0 25 0 1 0 775035212 204566528 48934 4294967295 134512640 134714508 3221221776 3221217740 1074873480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48934 1111 63 0 49880 0
vsize: 199772
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77574 0 0 0 27812 185 0 0 25 0 1 0 775035212 204566528 48937 4294967295 134512640 134714508 3221221776 3221217740 1074873379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48937 1111 63 0 49880 0
vsize: 199772
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77576 0 0 0 28813 186 0 0 25 0 1 0 775035212 204566528 48939 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48939 1111 63 0 49880 0
vsize: 199772
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77578 0 0 0 29813 186 0 0 25 0 1 0 775035212 204566528 48941 4294967295 134512640 134714508 3221221776 3221217904 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48941 1111 63 0 49880 0
vsize: 199772
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77579 0 0 0 30813 186 0 0 25 0 1 0 775035212 204566528 48942 4294967295 134512640 134714508 3221221776 3221217924 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48942 1111 63 0 49880 0
vsize: 199772
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77579 0 0 0 31813 186 0 0 25 0 1 0 775035212 204566528 48942 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48942 1111 63 0 49880 0
vsize: 199772
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77579 0 0 0 32813 186 0 0 25 0 1 0 775035212 204566528 48942 4294967295 134512640 134714508 3221221776 3221217740 1074873379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49943 48942 1111 63 0 49880 0
vsize: 199772
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77611 0 0 0 33813 186 0 0 25 0 1 0 775035212 204709888 48974 4294967295 134512640 134714508 3221221776 3221217824 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48974 1111 63 0 49915 0
vsize: 199912
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77614 0 0 0 34814 186 0 0 25 0 1 0 775035212 204709888 48977 4294967295 134512640 134714508 3221221776 3221217856 1074794565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48977 1111 63 0 49915 0
vsize: 199912
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77615 0 0 0 35814 186 0 0 25 0 1 0 775035212 204709888 48978 4294967295 134512640 134714508 3221221776 3221218064 1075894554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48978 1111 63 0 49915 0
vsize: 199912
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77615 0 0 0 36814 186 0 0 25 0 1 0 775035212 204709888 48978 4294967295 134512640 134714508 3221221776 3221217904 1074815312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48978 1111 63 0 49915 0
vsize: 199912
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77616 0 0 0 37814 186 0 0 25 0 1 0 775035212 204709888 48979 4294967295 134512640 134714508 3221221776 3221218688 1075338810 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77616 0 0 0 38814 186 0 0 25 0 1 0 775035212 204709888 48979 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77616 0 0 0 39814 186 0 0 25 0 1 0 775035212 204709888 48979 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77616 0 0 0 40815 186 0 0 25 0 1 0 775035212 204709888 48979 4294967295 134512640 134714508 3221221776 3221217904 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77616 0 0 0 41815 186 0 0 25 0 1 0 775035212 204709888 48979 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77616 0 0 0 42815 186 0 0 25 0 1 0 775035212 204709888 48979 4294967295 134512640 134714508 3221221776 3221217968 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77616 0 0 0 43815 186 0 0 25 0 1 0 775035212 204709888 48979 4294967295 134512640 134714508 3221221776 3221217740 1074873537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77616 0 0 0 44815 186 0 0 25 0 1 0 775035212 204709888 48979 4294967295 134512640 134714508 3221221776 3221217740 1074873379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48979 1111 63 0 49915 0
vsize: 199912
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 45815 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221218720 1074810542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 46816 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 47816 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221217856 1075095188 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 48816 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 49816 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221217924 1075115112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 50817 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221217796 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 51817 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221217936 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 52817 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221218736 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 53817 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221217808 1075895648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 77617 0 0 0 54817 186 0 0 25 0 1 0 775035212 204709888 48980 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49978 48980 1111 63 0 49915 0
vsize: 199912
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 79007 0 0 0 55815 189 0 0 25 0 1 0 775035212 201121792 48302 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 79007 0 0 0 56814 189 0 0 25 0 1 0 775035212 201121792 48302 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 79007 0 0 0 57815 189 0 0 25 0 1 0 775035212 201121792 48302 4294967295 134512640 134714508 3221221776 3221220100 134557801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 79007 0 0 0 58814 190 0 0 25 0 1 0 775035212 201121792 48302 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 79007 0 0 0 59814 190 0 0 25 0 1 0 775035212 201121792 48302 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 79007 0 0 0 60814 190 0 0 25 0 1 0 775035212 201121792 48302 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 79007 0 0 0 61814 191 0 0 25 0 1 0 775035212 201121792 48302 4294967295 134512640 134714508 3221221776 3221220000 1074039267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49102 48302 1111 63 0 49039 0
vsize: 196408
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 79405 0 0 0 62813 192 0 0 25 0 1 0 775035212 202752000 48700 4294967295 134512640 134714508 3221221776 3221220080 134539126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49500 48700 1111 63 0 49437 0
vsize: 198000
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81580 0 0 0 63809 196 0 0 25 0 1 0 775035212 207773696 49608 4294967295 134512640 134714508 3221221776 3221217840 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50726 49608 1111 63 0 50663 0
vsize: 202904
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81603 0 0 0 64809 196 0 0 25 0 1 0 775035212 207773696 49631 4294967295 134512640 134714508 3221221776 3221217904 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50726 49631 1111 63 0 50663 0
vsize: 202904
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81657 0 0 0 65809 196 0 0 25 0 1 0 775035212 207908864 49685 4294967295 134512640 134714508 3221221776 3221217740 1074873379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50759 49685 1111 63 0 50696 0
vsize: 203036
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81660 0 0 0 66809 197 0 0 25 0 1 0 775035212 207908864 49688 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50759 49688 1111 63 0 50696 0
vsize: 203036
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81661 0 0 0 67809 197 0 0 25 0 1 0 775035212 207908864 49689 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50759 49689 1111 63 0 50696 0
vsize: 203036
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81662 0 0 0 68809 197 0 0 25 0 1 0 775035212 207908864 49690 4294967295 134512640 134714508 3221221776 3221217920 1075895697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50759 49690 1111 63 0 50696 0
vsize: 203036
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81699 0 0 0 69809 197 0 0 25 0 1 0 775035212 208056320 49727 4294967295 134512640 134714508 3221221776 3221217740 1074873719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49727 1111 63 0 50732 0
vsize: 203180
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81700 0 0 0 70809 197 0 0 25 0 1 0 775035212 208056320 49728 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49728 1111 63 0 50732 0
vsize: 203180
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 81892 0 0 0 71809 197 0 0 25 0 1 0 775035212 209620992 49920 4294967295 134512640 134714508 3221221776 3221218288 1074886159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51177 49920 1111 63 0 51114 0
vsize: 204708
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82081 0 0 0 72808 198 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82081 0 0 0 73809 198 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217700 1074875800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82081 0 0 0 74809 198 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217580 1074788930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82081 0 0 0 75809 198 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217700 1074875715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82081 0 0 0 76809 198 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217740 1074873565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82446 0 0 0 77808 200 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82446 0 0 0 78808 200 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82446 0 0 0 79808 200 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217740 1074873543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82446 0 0 0 80808 200 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217740 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82446 0 0 0 81808 200 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217740 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82819 0 0 0 82808 201 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82819 0 0 0 83808 201 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217708 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82819 0 0 0 84808 201 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217856 1074883504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82819 0 0 0 85808 201 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217968 1074961393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82819 0 0 0 86809 201 0 0 25 0 1 0 775035212 208056320 49732 4294967295 134512640 134714508 3221221776 3221217700 1074875789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49732 1111 63 0 50732 0
vsize: 203180
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 82988 0 0 0 87808 201 0 0 25 0 1 0 775035212 209620992 49901 4294967295 134512640 134714508 3221221776 3221217740 1074873351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51177 49901 1111 63 0 51114 0
vsize: 204708
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83125 0 0 0 88808 202 0 0 25 0 1 0 775035212 208056320 49673 4294967295 134512640 134714508 3221221776 3221217740 1074873387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49673 1111 63 0 50732 0
vsize: 203180
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83126 0 0 0 89808 202 0 0 25 0 1 0 775035212 208056320 49674 4294967295 134512640 134714508 3221221776 3221217688 1075964720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50795 49674 1111 63 0 50732 0
vsize: 203180
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 90808 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217856 1074794589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 91808 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217604 1074786507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 92808 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 93808 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217696 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 94808 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217688 1075964720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 95808 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217904 1074815290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 96809 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221218624 1075960271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 97809 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217904 1074815284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 98809 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217824 1075561216 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 99809 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 100809 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 101809 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 102809 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 103810 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217856 1075094841 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 104810 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 105810 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 106810 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 107810 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217916 1074878548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 108810 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 109811 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217924 1075115127 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 110811 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217968 1074961369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 111811 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221218736 1075971273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 112811 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 113811 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217856 1074883551 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 114811 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217664 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 115811 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217968 1074961267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 116812 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217580 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 117812 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 118812 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221217900 1075564280 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) R 2159 7876 7672 0 -1 0 83128 0 0 0 119812 202 0 0 25 0 1 0 775035212 208056320 49676 4294967295 134512640 134714508 3221221776 3221218136 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50795 49676 1111 63 0 50732 0
vsize: 203180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 2160
Raw data (stat): 2160 (bsolo_lpr_cuts) Z 2159 7876 7672 0 -1 1036 83128 0 0 0 119812 212 0 0 25 0 1 0 775035212 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.13
CPU time (s): 1200.25
CPU user time (s): 1198.12
CPU system time (s): 2.12168
CPU usage (%): 100.01
Max. virtual memory (Kb): 204708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####